scientific article
From MaRDI portal
Publication:3606211
zbMath1157.03316MaRDI QIDQ3606211
Publication date: 26 February 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
К вопросу о критерии паранепротиворечивости логик ⋮ Generalized correspondence analysis for three-valued logics ⋮ Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX ⋮ Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence ⋮ A single proof of classical behaviour in da Costa's \(C_n\) systems ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis ⋮ Deduction normalization theorem for Sette's logic and its modifications ⋮ A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory
This page was built for publication:
