Exception and typicality, logically framed

DOI10.1007/S10849-025-09437-9MaRDI QIDQ6913382zbMATH OpenFDO

Authors Mario Piazza, Matteo Tesi

Publication date 21 October 2025

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10849-025-09437-9

zbMATH Keywords

cut eliminationexceptionsextra-logical axiomsproof theory

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• A logic for best explanations
• A logic for default reasoning
• A logical calculus for controlled monotonicity
• A new constructive logic: classic logic
• A non-monotonic description logic for reasoning about typicality
• Adding logic to the toolbox of molecular biology
• Analyticity with extra-logical information
• Bridges between Classical and Nonmonotonic Logic
• Cut Elimination in the Presence of Axioms
• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 2239772 (Why is no real title available?)
• Hypersequent calculi for propositional default logics
• Hypersequents, logical consequence and intermediate logics for concurrency
• Linear logic in a refutational setting
• Logic and Exceptions: A Few Remarks
• Nonmonotonic reasoning, preferential models and cumulative logics
• Proof theory and algebra in logic
• Some representational issues in default reasoning
• Unifying logics via context-sensitiveness
• Uniqueness of axiomatic extensions of cut-free classical propositional logic
• Untersuchungen über das logische Schließen. I.

Cited in

(1)

• A hypersequent calculus for classical contingencies

This page was built for publication: Exception and typicality, logically framed

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