The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)

DOI10.18778/0138-0680.2021.08MaRDI QIDQ6043014zbMATH OpenOpenAlexFDO

Authors Damian Szmuc

Publication date 4 May 2023

Published in Bulletin of the Section of Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.18778/0138-0680.2021.08

zbMATH Keywords

relevant logicsinfectious logics\(p\)-matrixnon-transitive logicsweak Kleene algebra

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• A Note on the Relevance of Semilattice Relevance Logic
• Generalising tautological entailment
• A general characterization of the variable-sharing property by means of logical matrices
• scientific article; zbMATH DE number 7576843
• Variable sharing in substructural logics: an algebraic characterization

Cites work

• scientific article; zbMATH DE number 5997426 (Why is no real title available?)
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 4061209 (Why is no real title available?)
• scientific article; zbMATH DE number 45458 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• scientific article; zbMATH DE number 589741 (Why is no real title available?)
• scientific article; zbMATH DE number 638369 (Why is no real title available?)
• scientific article; zbMATH DE number 1989647 (Why is no real title available?)
• scientific article; zbMATH DE number 2109541 (Why is no real title available?)
• scientific article; zbMATH DE number 3032489 (Why is no real title available?)
• scientific article; zbMATH DE number 3061149 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A class of simpler logical matrices for the variable-sharing property
• A general characterization of the variable-sharing property by means of logical matrices
• A hierarchy of classical and paraconsistent logics
• A modal restriction of R-mingle with the variable-sharing property
• A simple logical matrix and sequent calculus for Parry's logic of analytic implication
• A simple sequent calculus for Angell's logic of analytic containment
• Abstract algebraic logic. An introductory textbook
• Classical logic and the strict tolerant hierarchy
• Conservatively extending classical logic with transparent truth
• Intuitive semantics for first-degree entailments and `coupled trees'
• Meaningless divisions
• Outline of a Theory of Truth
• Priest's motorbike and tolerant identity
• Proof theory of paraconsistent weak Kleene logic
• Proof theory. 2nd ed
• Residuated lattices. An algebraic glimpse at substructural logics
• ST, LP and tolerant metainferences
• Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
• Simple hyperintensional belief revision
• Some remarks on the consequence operation in sentential logics
• The connectives
• The strict/tolerant idea and bilattices
• Tolerance and mixed consequence in the S'valuationist setting
• Tolerant, classical, strict
• Variable sharing in substructural logics: an algebraic characterization

Cited in

(2)

• scientific article; zbMATH DE number 4061209 (Why is no real title available?)
• Variable-sharing as relevance

This page was built for publication: The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)

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