scientific article
From MaRDI portal
Publication:3584003
zbMath1202.03067MaRDI QIDQ3584003
Francesco Paoli, George Metcalfe, Constantine Tsinakis
Publication date: 18 August 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
interpolationHeyting algebrasBoolean algebrassurvey papersubstructural logicsamalgamationresiduated latticesdeductive filtersideal theory of ringssubstructural proof theory
Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (14)
Convex MV-algebras: many-valued logics meet decision theory ⋮ Integrally closed residuated lattices ⋮ The Archimedean property: new horizons and perspectives ⋮ Semi-linear Varieties of Lattice-Ordered Algebras ⋮ Varieties generated by unital abelian \(\ell\)-groups ⋮ On Birkhoff's common abstraction problem ⋮ A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC ⋮ Density revisited ⋮ Recognizability in residuated lattices ⋮ AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS ⋮ Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras. ⋮ Nilpotency and the Hamiltonian property for cancellative residuated lattices ⋮ From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices ⋮ MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
This page was built for publication:
