Implicational partial Galois logics: relational semantics

DOI10.1007/s11787-021-00290-5OpenAlexW3206467873MaRDI QIDQ2070426

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-00290-5

zbMATH Keywords

Galois connectionrelational semanticsresiduationgaggles(implicational) partial Galois 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)

Cites Work

• Residuated lattices. An algebraic glimpse at substructural logics
• Implicational tonoid logics: algebraic and relational semantics
• Weakly implicative (fuzzy) logics. I: Basic properties
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Implicational partial Galois logics: relational semantics