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.03004OpenAlexW1986497773WikidataQ58436663 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
Related Items
One hundred years of semantic paradox ⋮ A multiple-valued logic approach to the design and verification of hardware circuits ⋮ Convex MV-algebras: many-valued logics meet decision theory ⋮ De Finettian logics of indicative conditionals. I: Trivalent semantics and validity ⋮ Generalized correspondence analysis for three-valued logics ⋮ Unifying Theories of Undefinedness in UTP ⋮ Three-Valued Logics for Incomplete Information and Epistemic Logic ⋮ Pure Variable Inclusion Logics ⋮ Infectious and transparent emotivism ⋮ On finite-valued propositional logical calculi ⋮ The heritage of S. A. Janovskaja ⋮ 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 ⋮ GÖDEL ON MANY-VALUED LOGIC ⋮ Natural deduction for Fitting's four-valued generalizations of Kleene's logics ⋮ Typed SLD-resolution: dynamic typing for logic programming ⋮ Immune Logics ain't that Immune ⋮ Aggregation operators on shadowed sets ⋮ Logics of synonymy ⋮ Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks ⋮ Inversive meadows and divisive meadows ⋮ A logical modeling of severe ignorance ⋮ Weak Kleene and other weak logics of conditionals ⋮ The liar paradox and ``meaningless revenge ⋮ Paul of Venice and Realist Developments of Roger Swyneshed's Treatment of Semantic Paradoxes ⋮ Neutral free logic: motivation, proof theory and models ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On Beall's new interpretation of \(WK_{3}\) ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ Variations on the Collapsing Lemma ⋮ A map of dependencies among three-valued logics ⋮ Duality for semilattice representations ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ Unnamed Item ⋮ Reference, paradoxes and truth ⋮ 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 ⋮ Variable-domain fuzzy sets. II: Apparatus ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ Missing values and dragonfly operations in fuzzy relational compositions ⋮ On the structure of \(C\)-algebras through atomicity and \texttt{if-then-else} ⋮ Containment logics: algebraic completeness and axiomatization ⋮ The Geometry of Negation ⋮ Deduction normalization theorem for Sette's logic and its modifications ⋮ Exactly true and non-falsity logics meeting infectious ones ⋮ Beall-ing O ⋮ A reinterpretation of Beall's `off-topic' semantics ⋮ Axiomatization of if-then-else over possibly non-halting programs and tests
