A Labelled System for IPL with Variable Splitting

DOI10.1007/978-3-540-73595-3_10zbMath1213.03016OpenAlexW1655411100MaRDI QIDQ3608770

Roger Antonsen, Arild Waaler

Publication date: 6 March 2009

Published in: Automated Deduction – CADE-21 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73595-3_10

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

Incremental variable splitting ⋮ Intuitionistic Decision Procedures Since Gentzen ⋮ A Connection-Based Characterization of Bi-intuitionistic Validity ⋮ A connection-based characterization of bi-intuitionistic validity

Uses Software

• ileanCoP

This page was built for publication: A Labelled System for IPL with Variable Splitting