On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
From MaRDI portal
Publication:4750621
DOI10.1080/01445348108837023zbMath0512.03004WikidataQ58436663 ScholiaQ58436663MaRDI QIDQ4750621
Publication date: 1981
Published in: History and Philosophy of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/01445348108837023
03A05: Philosophical and critical aspects of logic and foundations
Related Items
A modal theorem-preserving translation of a class of three-valued logics of incomplete information, Foreword: Three-valued logics and their applications, A computational interpretation of conceptivism, Defining LFIs and LFUs in extensions of infectious logics, Paul of Venice and Realist Developments of Roger Swyneshed's Treatment of Semantic Paradoxes, Natural deduction for three-valued regular logics, Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence, Natural Deduction for Four-Valued both Regular and Monotonic Logics, Unnamed Item, Unnamed Item, Exactly true and non-falsity logics meeting infectious ones, Beall-ing O, Pure Variable Inclusion Logics, 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, An Epistemic Interpretation of Paraconsistent Weak Kleene Logic, Axiomatization of if-then-else over possibly non-halting programs and tests, One hundred years of semantic paradox, A multiple-valued logic approach to the design and verification of hardware circuits, Inversive meadows and divisive meadows, A map of dependencies among three-valued logics, On Beall's new interpretation of \(WK_{3}\), Duality for semilattice representations, De Finettian logics of indicative conditionals. I: Trivalent semantics and validity, Convex MV-algebras: many-valued logics meet decision theory, Generalized correspondence analysis for three-valued logics, Natural deduction for Fitting's four-valued generalizations of Kleene's logics, On finite-valued propositional logical calculi, Variable-domain fuzzy sets. II: Apparatus, Containment logics: algebraic completeness and axiomatization, Logics of synonymy, Reference, paradoxes and truth, Missing values and dragonfly operations in fuzzy relational compositions, On the structure of \(C\)-algebras through atomicity and \texttt{if-then-else}, Deduction normalization theorem for Sette's logic and its modifications, Three-Valued Logics for Incomplete Information and Epistemic Logic, K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You, Variations on the Collapsing Lemma, Unifying Theories of Undefinedness in UTP, The Geometry of Negation, The heritage of S. A. Janovskaja
