Connexive implications in substructural logics

DOI10.1017/S1755020323000254MaRDI QIDQ6638238zbMATH OpenFDO

Authors Davide Fazio, Gavin st. John

Publication date 14 November 2024

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1755020323000254

zbMATH Keywords

connexive logicGlivenko propertyresiduated latticesstrong connexivitysubstructural logicsweakly connexive logic

Mathematics Subject Classification ID

Logic in the philosophy of science (03A10) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Intermediate logics (03B55) Other nonclassical logic (03B60)

Cites work

• A Note on Negation in Categorial Grammar
• Abstract algebraic logic. An introductory textbook
• Algebraizable logics
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Aristotle's Thesis between paraconsistency and modalization
• Categorial grammars with negative information
• Connexive conditional logic. I
• Connexive logics. An overview and current trends
• Connexive modal logic
• Consistent theories in inconsistent logics
• Counterfactuals in Nelson logic
• Decision procedures for logics of consequential implication
• From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• Ideal paraconsistent logics
• On negation: Pure local rules
• On the methodology of paraconsistent logic
• PRELIMINARY REMARKS ON A LOGIC OF PLAUSIBLE INFERENCE
• Residuated lattices. An algebraic glimpse at substructural logics
• Semantics for connexive logics. I
• Super-strict implications
• The logic of conditional negation

This page was built for publication: Connexive implications in substructural logics

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