Relevant logics obeying component homogeneity

DOI10.26686/AJL.V15I2.4864MaRDI QIDQ3121048zbMATH OpenOpenAlexWikidataFDO

Authors Roberto Ciuni, Damian Szmuc, Thomas Macaulay Ferguson

Publication date 19 March 2019

Published in The Australasian Journal of Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.26686/ajl.v15i2.4864

zbMATH Keywords

sequent calculirelevant logiccharacterization theoremscontainment logiccomponent homogeneitymeaninglessnessvariable-inclusion conditions

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Paraconsistent logics (03B53)

Recommendations

• Relevant logics: from semantics to proof systems
• scientific article; zbMATH DE number 48206
• On semilattice relevant logics
• Relevance and conformity
• What is relevance logic?

Cited in

(12)

• Pure variable inclusion logics
• The Płonka product of topological spaces
• Proof theory of paraconsistent weak Kleene logic
• Dualities for Płonka sums
• Exactly true and non-falsity logics meeting infectious ones
• Logics of variable inclusion and the lattice of consequence relations
• Algebraic analysis of demodalised analytic implication
• Left variable inclusion logics associated with classical logic
• Containment logics: algebraic completeness and axiomatization
• Normalisation for some infectious logics and their relatives
• A simple logical matrix and sequent calculus for Parry's logic of analytic implication
• Peirce's triadic logic and its (overlooked) connexive expansion

This page was built for publication: Relevant logics obeying component homogeneity

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