Tag first-order-logic - Esta é a página 11 - GeneraCodice

The equational theory of regular languages has no finite set of axioms for general alphabets

https://www.generacodice.com/pt/articolo/1598564/the-equational-theory-of-regular-languages-has-no-finite-set-of-axioms-for-general-alphabets
  finite-automata  -  formal-languages  -  first-order-logic  -  regular-languages
cs.stackexchange cs.stackexchange

The set of valid sentences in FO is not decidable as a consequence of rec. inseparability

https://www.generacodice.com/pt/articolo/1597730/the-set-of-valid-sentences-in-fo-is-not-decidable-as-a-consequence-of-rec-inseparability
  complexity-theory  -  logic  -  computability  -  first-order-logic  -  undecidability
cs.stackexchange cs.stackexchange

Classical set theory and the existence of at least one set

https://www.generacodice.com/pt/articolo/1596685/classical-set-theory-and-the-existence-of-at-least-one-set
  logic  -  first-order-logic
cs.stackexchange cs.stackexchange

Why does soundness imply consistency?

https://www.generacodice.com/pt/articolo/1595575/why-does-soundness-imply-consistency
  logic  -  terminology  -  first-order-logic  -  incompleteness  -  propositional-logic
cs.stackexchange cs.stackexchange

Why algorithms calculating non-tirivial zeros can't be used as proofs of Riemann Hypothesis?

https://www.generacodice.com/pt/articolo/1592842/why-algorithms-calculating-non-tirivial-zeros-can-t-be-used-as-proofs-of-riemann-hypothesis
  first-order-logic  -  curry-howard  -  proof-techniques  -  propositional-logic  -  mathematical-foundations
cs.stackexchange cs.stackexchange

Max() in Domain Relational Calculus

https://www.generacodice.com/pt/articolo/1592511/max-in-domain-relational-calculus
  logic  -  relational-algebra  -  database-theory  -  first-order-logic
cs.stackexchange cs.stackexchange

Predicate calculus- meaning of the word “any”

https://www.generacodice.com/pt/articolo/1592454/predicate-calculus-meaning-of-the-word-any
  first-order-logic
cs.stackexchange cs.stackexchange

Undecidable predicate logic is decidable by people?

https://www.generacodice.com/pt/articolo/1591311/undecidable-predicate-logic-is-decidable-by-people
  logic  -  computability  -  first-order-logic  -  undecidability  -  logical-validity
cs.stackexchange cs.stackexchange

How logic programming (especially ASP) is related to the reasoning in (first-order) logic?

https://www.generacodice.com/pt/articolo/1590617/how-logic-programming-especially-asp-is-related-to-the-reasoning-in-first-order-logic
  logic  -  lambda-calculus  -  first-order-logic  -  curry-howard  -  answer-set-programming
cs.stackexchange cs.stackexchange

Finding Models for a sequent

https://www.generacodice.com/pt/articolo/1589737/finding-models-for-a-sequent
  model-checking  -  first-order-logic
cs.stackexchange cs.stackexchange
Resultados encontrados: 218
scroll top