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