Sufficient conditions for the undecidability of intuitionistic theories with applications

DOI10.2307/2272980zbMath0266.02026OpenAlexW1990616702MaRDI QIDQ5681991

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/2272980

Mathematics Subject Classification ID

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

Related Items (5)

Elementary intuitionistic theories ⋮ Decidability of some intuitionistic predicate theories ⋮ 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 ⋮ On 2nd order intuitionistic propositional calculus with full comprehension

Cites Work

• Certain logical reduction and decision problems
• The Undecidability of Monadic Modal Quantification Theory
• An undecidable two sorted predicate calculus
• Applications of trees to intermediate logics
• Decidability of some intuitionistic predicate theories

This page was built for publication: Sufficient conditions for the undecidability of intuitionistic theories with applications