scientific article
From MaRDI portal
Publication:3505079
zbMath1156.03022MaRDI QIDQ3505079
Publication date: 18 June 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
unificationsubstructural logicMV-algebraBasic LogicŁukasiewicz logicWajsberg algebraGödel logicBL-algebraresiduated latticeWajsberg hoopbasic hoopFL\(_{ew}\) algebra
Other algebras related to logic (03G25) MV-algebras (06D35) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Semilattices (06A12) Lattices (06B99)
Related Items (7)
Almost structural completeness; an algebraic approach ⋮ Unnamed Item ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic ⋮ Structural completeness in many-valued logics with rational constants ⋮ Rules with parameters in modal logic. I. ⋮ Projectivity in (bounded) commutative integral residuated lattices
This page was built for publication:
