scientific article; zbMATH DE number 7644094

DOI10.2143/LEA.252.0.3289033MaRDI QIDQ5871537zbMATH OpenFDO

Authors Eunsuk Yang

Publication date 20 January 2023

Full work available at URL https://doi.org/10.2143/LEA.252.0.3289033

zbMATH Keywords

(algebraic) relational semanticsalgebraic semanticsKripke-style semanticsRoutley-Meyer-style semanticssubstructural logics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25)

Recommendations

• Algebraic Kripke-style semantics for relevance logics
• Relational proof system for linear and other substructural logics
• On the algebraic structure of linear, relevance, and fuzzy logics
• Relational Methods in Computer Science
• scientific article; zbMATH DE number 2070197

Cited in

(16)

• Poset products as relational models
• An algebraic approach to the disjunction property of substructural logics
• Combinatory logic and the semantics of substructural logics
• Relational semantics for full linear logic
• Bi-approximation semantics for substructural logic at work
• scientific article; zbMATH DE number 7234173 (Why is no real title available?)
• Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference
• Algebras of Relations and Relevance Logic
• scientific article; zbMATH DE number 1241672 (Why is no real title available?)
• Relational proof system for linear and other substructural logics
• Algebraic Kripke-style semantics for relevance logics
• scientific article; zbMATH DE number 5021967 (Why is no real title available?)
• Relational Methods in Computer Science
• Substructural nuclear (image-based) logics and operational Kripke-style semantics
• Implicational tonoids and their representations
• Implicational (dual) residuated semilinear gaggle logics

This page was built for publication:

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