scientific article
From MaRDI portal
Publication:3114102
zbMath1231.03001MaRDI QIDQ3114102
Publication date: 30 January 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05) Many-valued logic (03B50) Logical aspects of Boolean algebras (03G05)
Related Items (3)
Characterizations of fuzzy ideals in coresiduated lattices ⋮ Correction and improvement on several results in quantitative logic ⋮ A representation of proper BC domains based on conjunctive sequent calculi
This page was built for publication:
