scientific article; zbMATH DE number 6418709
From MaRDI portal
Publication:4982110
zbMath1308.03041MaRDI QIDQ4982110
Publication date: 23 March 2015
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (22)
Correspondence analysis for some fragments of classical propositional logic ⋮ Generalized correspondence analysis for three-valued logics ⋮ The natural deduction systems for the three-valued nonsense logics Z and E ⋮ Natural deduction for Post's logics and their duals ⋮ Natural deduction system for three-valued Heyting's logic ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ Natural deduction for Fitting's four-valued generalizations of Kleene's logics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Non-transitive correspondence analysis ⋮ AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX ⋮ Two-sided sequent calculi for \textit{FDE}-like four-valued logics ⋮ 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 ⋮ Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss ⋮ Natural deduction for three-valued regular logics ⋮ Natural Deduction for Four-Valued both Regular and Monotonic Logics ⋮ 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 ⋮ Normalisation for Some Quite Interesting Many-Valued Logics
This page was built for publication:
