Lower semilattice-ordered residuated semigroups and substructural logics

DOI10.1007/S11225-014-9574-ZMaRDI QIDQ2350965zbMATH OpenOpenAlexFDO

Authors Szabolcs Mikulás

Publication date 26 June 2015

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://eprints.bbk.ac.uk/id/eprint/13343/7/MeetLambekBiron.pdf

zbMATH Keywords

finite axiomatizationLambek calculusrelation algebrasrelevance logicsresiduation

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cylindric and polyadic algebras; relation algebras (03G15) Ordered semigroups and monoids (06F05)

Recommendations

• scientific article; zbMATH DE number 2070197
• On representable ordered residuated semigroups
• scientific article; zbMATH DE number 5772813
• Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
• Residuated lattices. An algebraic glimpse at substructural logics

Cites work

• Algebras of Relations and Relevance Logic
• Axiomatizability of positive algebras of binary relations
• Axiomatizability of reducts of algebras of relations
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 549971 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• Lambek calculus and its relational semantics: Completeness and incompleteness
• On representable ordered residuated semigroups
• Positive fragments of relevance logic and algebras of binary relations
• Relation algebras by games
• RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
• RELEVANCE LOGICS AND RELATION ALGEBRAS
• Representable semilattice-ordered monoids
• Residuated Kleene algebras
• The Mathematics of Sentence Structure

Cited in

(8)

• Semilinear substructural logics with the finite embeddability property
• Relational models for the Lambek calculus with intersection and unit
• scientific article; zbMATH DE number 1377711 (Why is no real title available?)
• scientific article; zbMATH DE number 1567954 (Why is no real title available?)
• The equational theories of representable residuated semigroups
• Relational Models for the Lambek Calculus with Intersection and Constants
• Relational models for the Lambek calculus with local contraction subexponentials
• Complexity of equational theories for relational and language action lattices

This page was built for publication: Lower semilattice-ordered residuated semigroups and substructural logics

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