Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic

DOI10.1145/3372299zbMath1446.03025arXiv1804.06689OpenAlexW2798196221WikidataQ130834580 ScholiaQ130834580MaRDI QIDQ5121273

Mauro Ferrari, Camillo Fiorentini

Publication date: 11 September 2020

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1804.06689

zbMATH Keywords

intuitionistic propositional logicsequent calculiproof-search procedures

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Efficient SAT-based proof search in intuitionistic propositional logic

This page was built for publication: Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic