Natural deduction for non-classical logics
DOI10.1023/A:1005003904639zbMATH Open0954.03010OpenAlexW1489961769MaRDI QIDQ1577342FDOQ1577342
Authors: Seán Matthews, Luca Viganò, David 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
Recommendations
- Natural deduction for paraconsistent logic
- Mechanizing Mathematical Reasoning
- Natural Deduction for Hybrid Logic
- scientific article; zbMATH DE number 3902624
- Natural deduction for dual-intuitionistic logic
- Natural deduction for intuitionistic linear logic
- Natural deduction systems for some non-commutative logics
- Natural deduction for bi-intuitionistic logic
- scientific article; zbMATH DE number 1342286
- Natural deduction and sequent calculus for intuitionistic relevant logic
Kripke modelsnatural deductionnonclassical logicsKripke-style semanticsframework for machine implementationIsabelle Logical Framework
Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05) Abstract deductive systems (03B22) Mechanization of proofs and logical operations (03B35)
Cited In (28)
- Intuitionistic Letcc via Labelled Deduction
- Title not available (Why is that?)
- Truth-values as labels: a general recipe for labelled deduction
- Natural deduction for intuitionistic linear logic
- A natural deduction approach to dynamic logic
- Natural deduction as higher-order resolution
- Normal natural deduction proofs (in classical logic)
- Title not available (Why is that?)
- Proof analysis in modal logic
- CHR: a constructive relevant natural-deduction logic
- Towards a Canonical Classical Natural Deduction System
- Natural deduction system for three-valued Heyting's logic
- Natural deduction in normal modal logic
- Title not available (Why is that?)
- Proofs and countermodels in non-classical logics
- Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
- An efficient relational deductive system for propositional non-classical logics
- Natural deduction, hybrid systems and modal logics
- Mechanizing Mathematical Reasoning
- A proof-theoretic investigation of a logic of positions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Natural deduction for modal logic of judgment aggregation
- Title not available (Why is that?)
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations
- Does the deduction theorem fail for modal logic?
- Title not available (Why is that?)
- Natural deduction for quantum logic
Uses Software
This page was built for publication: Natural deduction for non-classical logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1577342)
