scientific article

zbMath1144.03040MaRDI QIDQ3505077

Hitoshi Kihara, Hiroakira Ono

Publication date: 18 June 2008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

substructural logicFL-algebraHalldén completenessMaksimova's variable separation property

Mathematics Subject Classification ID

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

Related Items (6)

Variable Sharing in Substructural Logics: an Algebraic Characterization ⋮ On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra ⋮ Single chain completeness and some related properties ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Fuzzy logics from substructural perspective ⋮ Structural completeness in many-valued logics with rational constants

This page was built for publication: