Proof Theory for Casari's Comparative Logics

DOI10.1093/LOGCOM/EXL001MaRDI QIDQ3411997zbMATH OpenOpenAlexFDO

Authors George Metcalfe

Publication date 4 December 2006

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exl001

zbMATH Keywords

comparative logiccomparative reasoning

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 1932898
• Proof Theories for Semilattice Logics
• Comparison of several proof systems of intuitionistic propositional logic
• scientific article; zbMATH DE number 5920146
• Proof-theoretic semantics and inquisitive logic
• scientific article; zbMATH DE number 4195154
• Proofs and countermodels in non-classical logics
• Combinatorial proofs for constructive modal logic
• scientific article; zbMATH DE number 1390270
• Proof Theory for First Order Łukasiewicz Logic

Cited in

(8)

• On strong comparative logic
• Proof theory for lattice-ordered groups
• scientific article; zbMATH DE number 5356414 (Why is no real title available?)
• Expanding the Realm of Systematic Proof Theory
• On the Semantics of Comparative Logic
• scientific article; zbMATH DE number 1932898 (Why is no real title available?)
• Comparative plausibility in neighbourhood models: axiom systems and sequent calculi
• Integrally closed residuated lattices

This page was built for publication: Proof Theory for Casari's Comparative Logics

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