Analyticity with extra-logical information

DOI10.1093/LOGCOM/EXAE013MaRDI QIDQ6909896zbMATH OpenFDO

Authors Mario Piazza, Matteo Tesi

Publication date 29 October 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAE013

zbMATH Keywords

classical and intuitionistic logicscut-elimination and analyticityextra-logical axiomssubstructural logics

Mathematics Subject Classification ID

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

Cites work

• A logical calculus for controlled monotonicity
• A new constructive logic: classic logic
• Corrected upper bounds for free-cut elimination
• Cut Elimination in the Presence of Axioms
• Expanding the Realm of Systematic Proof Theory
• From axioms to synthetic inference rules via focusing
• Gentzen-type systems, resolution and tableaux
• scientific article; zbMATH DE number 3122413 (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?)
• scientific article; zbMATH DE number 3105203 (Why is no real title available?)
• Introduction to a general theory of elementary propositions.
• Linear logic
• Logic Programming with Focusing Proofs in Linear Logic
• Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie.
• Proof theory
• Quantales and (noncommutative) linear logic
• Structural proof theory. With an appendix by Aarne Ranta
• Unifying logics via context-sensitiveness
• Uniqueness of axiomatic extensions of cut-free classical propositional logic
• Untersuchungen über das logische Schließen. II.

Cited in

(2)

• Exception and typicality, logically framed
• Hypersequent calculi for propositional default logics

This page was built for publication: Analyticity with extra-logical information

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