Publication:2888156
From MaRDI portal
zbMath1266.03073MaRDI QIDQ2888156
Publication date: 30 May 2012
abstract algebraic logic; algebraizable logic; semilattice-based logics; assertional companion; Leibniz filter
03G27: Abstract algebraic logic
Related Items
Sub-Hilbert lattices, Leibniz-linked pairs of deductive systems, The strong version of a sentential logic, Selfextensional logics with a distributive nearlattice term, \(l\)-hemi-implicative semilattices, Algebraizable logics with a strong conjunction and their semi-lattice based companions, Consequence and Degrees of Truth in Many-Valued Logic