Decidability of some intuitionistic predicate theories

DOI10.2307/2272747zbMath0266.02025OpenAlexW2065869391MaRDI QIDQ5681990

Dov M. Gabbay

Publication date: 1972

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272747

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Intuitionistic mathematics (03F55)

Related Items (10)

Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus ⋮ Monadic Fragments of Gödel Logics: Decidability and Undecidability Results ⋮ Elementary intuitionistic theories ⋮ Sufficient conditions for the undecidability of intuitionistic theories with applications ⋮ The undecidability of intuitionistic theories of algebraically closed fields and real closed fields ⋮ The decision problem for some finite extensions of the intuitionistic theory of abelian groups ⋮ A proof-theoretical investigation of global intuitionistic (fuzzy) logic ⋮ SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability ⋮ Invertible infinitary calculus without loop rules for restricted FTL ⋮ On 2nd order intuitionistic propositional calculus with full comprehension

Cites Work

• Certain logical reduction and decision problems
• Logic with truth values in A linearly ordered heyting algebra
• Sufficient conditions for the undecidability of intuitionistic theories with applications

This page was built for publication: Decidability of some intuitionistic predicate theories