MATH
Login Or Sign up

List Question

15
105
Views

What is the proof that equational logic is undecidable?

Published on
#logic #decidability
87
Views

Is there an effective decision procedure for determining whether a truth-tree of first-order logic is infinite?

Published on
#logic #first-order-logic #decidability
160
Views

Why are subclasses of first-order logic with the finite model property decidable?

Published on
#logic #model-theory #computability #decidability
141
Views

Examples of Exists-Forall-decidable first-order theories that are not overall decidable?

Published on
#logic #first-order-logic #predicate-logic #quantifiers #decidability
122
Views

A paper states $\exists^*\forall^*$ modulo Linear Integer arithmetic (LIA) is undecidable, but I I thought LIA on its own was already decidable

Published on
#logic #first-order-logic #predicate-logic #quantifiers #decidability
199
Views

Does the law of excluded middle hold in first-order logic?

Published on
#logic #first-order-logic #predicate-logic #decidability
49
Views

How does the independence of the continuum hypothesis from ZFC square with the law of excluded middle?

Published on
#logic #set-theory #first-order-logic #model-theory #decidability
183
Views

Determining if lattice elements are equal

Published on
#logic #reference-request #algorithms #lattice-orders #decidability
74
Views

How to efficiently enumerate all valid propositional formulas from implicational fragment of intuitionistic logic?

Published on
#logic #algorithms #intuitionistic-logic #decidability
66
Views

Nelson-Oppen: Does 'quantifier-free' mean that is decidable?

Published on
#logic #first-order-logic #quantifiers #decidability #quantifier-elimination
98
Views

Is the decision problem of compiling a program decidable?

Published on
#computer-science #computability #formal-languages #automata #decidability
111
Views

A definability paradox for infinite binary sequences

Published on
#logic #decidability
48
Views

Is the converse of Hilberts 10th problem decidable?

Published on
#polynomials #computability #decidability
51
Views

Can we prove that $L_1$ is decidable?

Published on
#automata #turing-machines #decidability
134
Views

Decidability of the Membership problem

Published on
#turing-machines #decidability

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.