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

characterization theoremscomponent homogeneitycontainment logicmeaninglessnessrelevant logicsequent calculivariable-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

(13)

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

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)