Embedding first order predicate logic in fragments of intuitionistic logic

DOI10.2307/2272390zbMATH Open0358.02012OpenAlexW2107589331MaRDI QIDQ4133591FDOQ4133591

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

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

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)

Cited In (19)

• Third-order matching in the polymorphic lambda calculus
• Existential type systems between Church and Curry style (type-free style)
• Eigenvariables, bracketing and the decidability of positive minimal intuitionistic logic
• Title not available (Why is that?)
• Eigenvariables, bracketing and the decidability of positive minimal predicate logic
• A sequent calculus for subtyping polymorphic types
• An embedding of the implicative fragment of classical logic into the implicative fragment of intuitionistic logic
• CPS-translation as adjoint
• Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic
• Title not available (Why is that?)
• A simple proof of the undecidability of inhabitation in λP
• Propositional quantification in the topological semantics for \(\mathbf S4\)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Conservativity between logics and typed λ calculi
• Title not available (Why is that?)
• Inhabitation of polymorphic and existential types
• The existential fragment of second-order propositional intuitionistic logic is undecidable
• Title not available (Why is that?)

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)