Labelled Natural Deduction for Conditional Logics of Normality

DOI10.1093/jigpal/10.2.123zbMath1003.03024OpenAlexW2108478736MaRDI QIDQ4545014

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

Publication date: 8 August 2002

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

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

zbMATH Keywords

natural deductionconditional logiclabelled deductive systems

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items

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