scientific article; zbMATH DE number 7123528
From MaRDI portal
Publication:5240589
DOI10.2143/LEA.244.0.3285348zbMath1430.03046MaRDI QIDQ5240589
Vasilyi Shangin, Yaroslav I. Petrukhin
Publication date: 28 October 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Paraconsistent logics (03B53)
Related Items (10)
Correspondence analysis for some fragments of classical propositional logic ⋮ Generalized correspondence analysis for three-valued logics ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ On the three-valued expansions of Kleene's logic ⋮ The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 ⋮ A class of implicative expansions of Kleene's strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz's 3-valued logic Ł3 ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis ⋮ Functional Completeness in CPL via Correspondence Analysis ⋮ The Method of Socratic Proofs Meets Correspondence Analysis
This page was built for publication:
