Connexive implications in substructural logics

DOI10.1017/S1755020323000254MaRDI QIDQ6638238

Davide Fazio, Gavin st. John

Publication date: 14 November 2024

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

zbMATH Keywords

substructural logicsresiduated latticesGlivenko propertyconnexive logicstrong connexivityweakly connexive logic

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Ideal paraconsistent logics
• Residuated lattices. An algebraic glimpse at substructural logics
• The logic of conditional negation
• Decision procedures for logics of consequential implication
• Semantics for connexive logics. I
• Counterfactuals in Nelson logic
• Aristotle's Thesis between paraconsistency and modalization
• On negation: Pure local rules
• From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Categorial grammars with negative information
• Connexive logics. An overview and current trends
• Connexive Conditional Logic. Part I
• Algebraizable logics
• Super-Strict Implications
• On the Methodology of Paraconsistent Logic
• A Note on Negation in Categorial Grammar
• PRELIMINARY REMARKS ON A LOGIC OF PLAUSIBLE INFERENCE
• Consistent theories in inconsistent logics

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)