scientific article; zbMATH DE number 1354940

zbMath0924.03115MaRDI QIDQ4269189

Paolo Agliano

Publication date: 31 October 1999

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

zbMATH Keywords

propositional logicsresiduated structuresalgebraic semantics of deductive systemsresiduated ordered structuresternary deduction terms

Mathematics Subject Classification ID

Algebraic logic (03G99) Ordered semigroups and monoids (06F05) Algebraic structures (08A99)

Related Items (12)

Yankov Characteristic Formulas (An Algebraic Account) ⋮ Representable idempotent commutative residuated lattices ⋮ A category equivalence for odd Sugihara monoids and its applications ⋮ On principal congruences in distributive lattices with a commutative monoidal operation and an implication ⋮ Varieties of BL-algebras. I, revisited ⋮ Subdirectly irreducible residuated semilattices and positive universal classes ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ A short note on divisible residuated semilattices ⋮ Splittings in subreducts of hoops ⋮ Splittings in GBL-algebras. I: The general case ⋮ Splittings in GBL-algebras. II: The representable case ⋮ Idempotent residuated structures: Some category equivalences and their applications

This page was built for publication: