Publication:3505077
From MaRDI portal
zbMath1144.03040MaRDI QIDQ3505077
Publication date: 18 June 2008
03G25: Other algebras related to logic
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Variable Sharing in Substructural Logics: an Algebraic Characterization, Single chain completeness and some related properties, On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra, Structural completeness in many-valued logics with rational constants, Amalgamation and interpolation in ordered algebras., Fuzzy logics from substructural perspective