Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic

DOI10.1016/S1571-0661(04)80755-2MaRDI QIDQ4924544zbMATH OpenFDO

Authors Gilles Dowek, Ying Jiang

Publication date 6 June 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80755-2

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25)

Recommendations

• Eigenvariables, bracketing and the decidability of positive minimal predicate logic
• A note on decidability of variables in intuitionistic propositional logic
• Positive formulas in intuitionistic and minimal logic
• Intuitionistic logic and Muchnik degrees
• Decidable properties of logical calculi and of varieties of algebras
• The complexity of equivalence, entailment, and minimization in existential positive logic
• Decidability of the restriction equational theory in the partial lambda calculus
• Complexity of intuitionistic and Visser's basic and formal logics in finitely many variables
• Intuitionistic ϵ‐ and τ‐calculi
• Bounded variable logic, parameterized logarithmic space, and Savitch's theorem

Cites work

• Contraction-free sequent calculi for intuitionistic logic
• Embedding first order predicate logic in fragments of intuitionistic logic
• scientific article; zbMATH DE number 2185726 (Why is no real title available?)
• scientific article; zbMATH DE number 192927 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Sovability of the problem of deducibility in LJ for a class of formulas not containing negative occurrences of quantifiers
• Theorem proving modulo

Cited in

(5)

• Eigenvariables, bracketing and the decidability of positive minimal predicate logic
• A note on decidability of variables in intuitionistic propositional logic
• On the Mints hierarchy in first-order intuitionistic logic
• On the Mints hierarchy in first-order intuitionistic logic
• Decidable variables for constructive logics

This page was built for publication: Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4924544)