Embedding first order predicate logic in fragments of intuitionistic logic

DOI10.2307/2272390MaRDI QIDQ4133591zbMATH OpenOpenAlexFDO

Authors Martin Löb

Publication date 1977

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

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

Mathematics Subject Classification ID

Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)

Recommendations

• A syntactic embedding of predicate logic into second-order propositional logic
• scientific article; zbMATH DE number 1858065
• scientific article; zbMATH DE number 2209833
• scientific article; zbMATH DE number 1975407
• An embedding of the implicative fragment of classical logic into the implicative fragment of intuitionistic logic

Cited in

(20)

• Propositional quantification in the topological semantics for \(\mathbf S4\)
• Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
• A simple proof of the undecidability of inhabitation in λP
• Third-order matching in the polymorphic lambda calculus
• scientific article; zbMATH DE number 2209833 (Why is no real title available?)
• The existential fragment of second-order propositional intuitionistic logic is undecidable
• scientific article; zbMATH DE number 7577586 (Why is no real title available?)
• scientific article; zbMATH DE number 7561487 (Why is no real title available?)
• Eigenvariables, bracketing and the decidability of positive minimal predicate logic
• Existential type systems between Church and Curry style (type-free style)
• Conservativity between logics and typed λ calculi
• A syntactic embedding of predicate logic into second-order propositional logic
• Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic
• A sequent calculus for subtyping polymorphic types
• scientific article; zbMATH DE number 1975407 (Why is no real title available?)
• scientific article; zbMATH DE number 1858065 (Why is no real title available?)
• An embedding of the implicative fragment of classical logic into the implicative fragment of intuitionistic logic
• CPS-translation as adjoint
• scientific article; zbMATH DE number 3837997 (Why is no real title available?)
• Inhabitation of polymorphic and existential types

This page was built for publication: Embedding first order predicate logic in fragments of intuitionistic logic

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