On the complexity of propositional quantification in intuitionistic logic

DOI10.2307/2275545MaRDI QIDQ4358053zbMATH OpenOpenAlexFDO

Authors Philip Kremer

Publication date 6 May 1998

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

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

zbMATH Keywords

classical second order logicintuitionistic logicpropositional quantificationrecursively isomorphic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• scientific article; zbMATH DE number 1088204
• On propositional quantifiers in provability logic
• Complexity of intuitionistic propositional logic and its fragments
• scientific article; zbMATH DE number 3995647
• scientific article; zbMATH DE number 2015268
• The complexity of the disjunction and existential properties in intuitionistic logic
• scientific article; zbMATH DE number 3976993
• scientific article; zbMATH DE number 1390276
• Propositional quantification in the monadic fragment of intuitionistic logic
• On the computational content of intuitionistic propositional proofs

Cites work

• Semantical investigations in Heyting's intuitionistic logic

Cited in

(36)

• On the homogeneity property for certain quantifier logics
• On the number of new logical constants in intuitionistic propositional calculus
• On propositional quantifiers in provability logic
• Non-axiomatizable second order intuitionistic propositional logic
• Propositional quantification in the topological semantics for S4
• Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\)
• Statistics of intuitionistic versus classical logics
• Quantified multimodal logics in simple type theory
• On the logic of belief and propositional quantification
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
• Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
• Uniform interpolation and the existence of sequent calculi
• Expressivity of second order propositional modal logic
• Computational complexity of theories of a binary predicate with a small number of variables
• On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility
• A Splitting Algorithm Based on Soft Constraints for the Computation of Truth Degree in Quantitative Logic
• Linear Kripke frames and Gödel logics
• Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
• scientific article; zbMATH DE number 3966034 (Why is no real title available?)
• scientific article; zbMATH DE number 3976993 (Why is no real title available?)
• Second-order propositional modal logic and monadic alternation hierarchies
• Representability in second-order propositional poly-modal logic
• Completeness of second-order propositional S4 and H in topological semantics
• scientific article; zbMATH DE number 7577569 (Why is no real title available?)
• The complexity of disjunction in intuitionistic logic
• Logics for propositional contingentism
• Restricted positive quantification is not elementary
• How hard is positive quantification?
• Pitts' quantifiers are not topological quantification
• Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?
• Axiomatizability of propositionally quantified modal logics on relational frames
• Expressive power of propositionally quantified modal logics on variable domain structures with accessibility
• Complexity of subclasses of the intuitionistic propositional calculus
• Fine on the possibility of vagueness
• Variations on the Kripke trick
• Uniform interpolation and propositional quantifiers in modal logics

This page was built for publication: On the complexity of propositional quantification in intuitionistic logic

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