Natural deduction for non-classical logics
From MaRDI portal
Publication:1577342
DOI10.1023/A:1005003904639zbMath0954.03010OpenAlexW1489961769MaRDI QIDQ1577342
Luca Viganò, Seán Matthews, David A. Basin
Publication date: 14 February 2001
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1005003904639
natural deductionKripke modelsIsabelle Logical Frameworknonclassical logicsKripke-style semanticsframework for machine implementation
Other nonclassical logic (03B60) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Abstract deductive systems (03B22)
Related Items
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations ⋮ Does the deduction theorem fail for modal logic? ⋮ A proof-theoretic investigation of a logic of positions ⋮ Proofs and countermodels in non-classical logics ⋮ Truth-values as labels: a general recipe for labelled deduction ⋮ Intuitionistic Letcc via Labelled Deduction ⋮ Proof analysis in modal logic
Uses Software