Natural deduction for non-classical logics

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

zbMATH Keywords

natural deductionKripke modelsIsabelle Logical Frameworknonclassical logicsKripke-style semanticsframework for machine implementation

Mathematics Subject Classification ID

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

• Isabelle