Deciding intuitionistic propositional logic via translation into classical logic

DOI10.1007/3-540-63104-6_15zbMath1430.03039OpenAlexW1929903640MaRDI QIDQ5234697

Christoph Kreitz, Daniel S. Korn

Publication date: 1 October 2019

Published in: Automated Deduction—CADE-14 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63104-6_15

zbMATH Keywords

intuitionistic logicclassical logictheorem proverfunction symbolheredity condition

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Deciding intuitionistic propositional logic via translation into classical logic

Cites Work

• Seventy-five problems for testing automatic theorem provers
• Handbook of philosophical logic. Vol. IV: Topics in the philosophy of language
• An improved refutation system for intuitionistic predicate logic
• Semantics-Based Translation Methods for Modal Logics
• Contraction-free sequent calculi for intuitionistic logic
• An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic
• Deciding intuitionistic propositional logic via translation into classical logic
• An Intuitionistic Predicate Logic Theorem Prover
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Deciding intuitionistic propositional logic via translation into classical logic