Implicational tonoid logics: algebraic and relational semantics

DOI10.1007/s11787-021-00288-zOpenAlexW3203933509MaRDI QIDQ2070425

Eunsuk Yang, J. Michael Dunn

Publication date: 24 January 2022

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-021-00288-z

zbMATH Keywords

relational semanticsalgebraic semanticsweakly implicative logic(Implicational) tonoid logicgaggle logic

Mathematics Subject Classification ID

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

Related Items

Birkhoff's and Mal'cev's theorems for implicational tonoid logics ⋮ Implicational partial Galois logics: relational semantics

Cites Work

• Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
• Negation in the context of gaggle theory
• Implicational (semilinear) logics. I: A new hierarchy
• An algebraic approach to non-classical logics
• Implicational (semilinear) logics. III: Completeness properties
• Weakly implicative (fuzzy) logics. I: Basic properties
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Implicational tonoid logics: algebraic and relational semantics