scientific article; zbMATH DE number 3453564
From MaRDI portal
Publication:4777260
zbMath0289.02013MaRDI QIDQ4777260
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (48)
Generalized correspondence analysis for three-valued logics ⋮ О критерии паранормальности для $n$-значных логических матриц ⋮ AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик ⋮ A generalization of ordered-pair semantics ⋮ Three-Valued Logics for Incomplete Information and Epistemic Logic ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ A modal theorem-preserving translation of a class of three-valued logics of incomplete information ⋮ Self-extensional three-valued paraconsistent logics ⋮ Society semantics and the logic way to collective intelligence ⋮ IMPROVING STRONG NEGATION ⋮ Aggregation operators on shadowed sets ⋮ The method of polynomial ring calculus and its potentialities ⋮ Non-transitive correspondence analysis ⋮ AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX ⋮ Maximal and premaximal paraconsistency in the framework of three-valued semantics ⋮ The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 ⋮ A Note on Ciuciura’s mbC1 ⋮ Revisiting \(\mathbb Z\) ⋮ Ideal paraconsistent logics ⋮ Paraconsistency in classical logic ⋮ Paraconsistency and Sette’s calculus P1 ⋮ Partial and paraconsistent three-valued logics ⋮ Rough Sets - Past, Present and Future: Some Notes ⋮ Classical negation and expansions of Belnap-Dunn logic ⋮ A map of dependencies among three-valued logics ⋮ Weakening and extending \(\mathbb{Z}\) ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ Logical Opposition and Collective Decisions ⋮ Non Truth-Functional Many-Valuedness ⋮ First order theory for literal-paraconsistent and literal-paracomplete matrices ⋮ Limits for paraconsistent calculi ⋮ On negation: Pure local rules ⋮ Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence ⋮ On the Methodology of Paraconsistent Logic ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis ⋮ Validity, dialetheism and self-reference ⋮ Paraconsistency and the need for infinite semantics ⋮ Deduction normalization theorem for Sette's logic and its modifications ⋮ Three-Valued Paraconsistent Propositional Logics ⋮ From Possibility Theory to Paraconsistency ⋮ A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics ⋮ A family of genuine and non-algebraisable C-systems ⋮ Paraconsistent logics and translations ⋮ SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE ⋮ Definitional equivalence and algebraizability of generalized logical systems ⋮ On the system CB1 and a lattice of the paraconsistent calculi ⋮ P1 algebras
This page was built for publication:
