A syntactic embedding of predicate logic into second-order propositional logic

DOI10.1215/00294527-2010-029zbMath1216.03029OpenAlexW2027489592MaRDI QIDQ609763

Paweł Urzyczyn, Morten Heine B. Sørensen

Publication date: 1 December 2010

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2010-029

zbMATH Keywords

propositional quantificationfirst-order intuitionistic predicate logicIPC2second-order intuitionistic propositional logicsyntactic translation

Mathematics Subject Classification ID

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

Related Items (4)

The existential fragment of second-order propositional intuitionistic logic is undecidable ⋮ Type checking and typability in domain-free lambda calculi ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: A syntactic embedding of predicate logic into second-order propositional logic