Labelled Natural Deduction for Conditional Logics of Normality

DOI10.1093/JIGPAL/10.2.123zbMATH Open1003.03024OpenAlexW2108478736MaRDI QIDQ4545014FDOQ4545014

Alessandra Russo, Krysia Broda, Luís C. Lamb, Dov Gabbay

Publication date: 8 August 2002

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/10.2.123

Recommendations

• Labelled natural deduction for substructural logics
• Propositional quantifiers in labelled natural deduction for normal modal logic
• scientific article; zbMATH DE number 1841827
• A normalization procedure for the equational fragment of labelled natural deduction
• Natural deduction based upon strict implication for normal modal logics
• Natural Deduction and Weak Normalization for Full Linear Logic
• A normalizing system of natural deduction for intuitionistic linear logic
• Label-free natural deduction systems for intuitionistic and classical modal logics
• scientific article; zbMATH DE number 3902624
• Mechanizing Mathematical Reasoning

zbMATH Keywords

natural deductionconditional logiclabelled deductive systems

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cited In (3)

• Connectionist computations of intuitionistic reasoning
• Adaptively applying modus ponens in conditional logics of normality
• Connectionist modal logic: representing modalities in neural networks

This page was built for publication: Labelled Natural Deduction for Conditional Logics of Normality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4545014)