scientific article
From MaRDI portal
Publication:2811667
zbMath1403.03043MaRDI QIDQ2811667
Publication date: 10 June 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX ⋮ 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