scientific article
From MaRDI portal
Publication:2804046
zbMath1338.03049MaRDI QIDQ2804046
Publication date: 27 April 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX ⋮ Variations on the Collapsing Lemma ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis
This page was built for publication: