scientific article
From MaRDI portal
Publication:2888156
zbMath1266.03073MaRDI QIDQ2888156
Publication date: 30 May 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
abstract algebraic logicalgebraizable logicsemilattice-based logicsassertional companionLeibniz filter
Related Items (7)
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
This page was built for publication: