scientific article; zbMATH DE number 5772813

MaRDI QIDQ3584003zbMATH OpenFDO

Authors George Metcalfe, Francesco Paoli, Constantine Tsinakis

Publication date 18 August 2010

zbMATH Keywords

amalgamationBoolean algebrasdeductive filtersHeyting algebrasideal theory of ringsinterpolationresiduated latticessubstructural logicssubstructural proof theorysurvey paper

Mathematics Subject Classification ID

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

Recommendations

• Order algebraizable logics
• Order algebras as models of linear logic
• scientific article; zbMATH DE number 3896930
• scientific article; zbMATH DE number 567281
• scientific article; zbMATH DE number 4183416
• Ordering protoalgebraic logics
• scientific article; zbMATH DE number 672330
• Logics of order and related notions
• scientific article; zbMATH DE number 4012583
• scientific article; zbMATH DE number 1852925

Cited in

(24)

• Closure operators and complete embeddings of residuated lattices
• Convex MV-algebras: many-valued logics meet decision theory
• The Archimedean property: new horizons and perspectives
• Density revisited
• On Birkhoff's common abstraction problem
• Logic of convex order
• Lower semilattice-ordered residuated semigroups and substructural logics
• From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices
• Projective objects in the categories of abelian \(\ell\)-groups and MV-algebras.
• Free ordered algebraic structures towards proof theory
• Semi-linear varieties of lattice-ordered algebras.
• Ordering protoalgebraic logics
• Varieties generated by unital abelian \(\ell\)-groups
• scientific article; zbMATH DE number 2070197 (Why is no real title available?)
• Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics
• Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini
• An abstract approach to consequence relations
• scientific article; zbMATH DE number 2208113 (Why is no real title available?)
• Nilpotency and the Hamiltonian property for cancellative residuated lattices
• MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
• A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
• Recognizability in residuated lattices
• Integrally closed residuated lattices
• Residuated lattices. An algebraic glimpse at substructural logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3584003)