Abelian logic and the logics of pointed lattice-ordered varieties

DOI10.1007/s11787-008-0034-2zbMath1162.03036OpenAlexW2014657478MaRDI QIDQ1001368

Matthew Spinks, Francesco Paoli, Robert Veroff

Publication date: 17 February 2009

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-008-0034-2

zbMATH Keywords

logics preserving degrees of truthabelian logicassertional logiclattice-ordered variety

Mathematics Subject Classification ID

Algebraic logic (03G99) Equational classes, universal algebra in model theory (03C05) Abstract deductive systems (03B22) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Related Items

Group representation for even and odd involutive commutative residuated chains, Prior’s OIC nonconservativity example revisited, Substructural logics, pluralism and collapse, Replacement in logic, Involutive uninorm logic with fixed point enjoys finite strong standard completeness, A new view of effects in a Hilbert space, AGGREGATION AND IDEMPOTENCE, On the algebraizability of the implicational fragment of abelian logic, From games to truth functions: a generalization of Giles's game, The Hahn embedding theorem for a class of residuated semigroups