On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus

Cited in

(78)

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
A reinterpretation of Beall's `off-topic' semantics
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
One hundred years of semantic paradox
A multiple-valued logic approach to the design and verification of hardware circuits
Neutral free logic: motivation, proof theory and models
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
Inversive meadows and divisive meadows
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
A map of dependencies among three-valued logics
Exactly true and non-falsity logics meeting infectious ones
Beall-ing \(\mathbb{O}\)
A three-valued semantics for typed logic programming
A game theoretical semantics for logics of nonsense
Pure variable inclusion logics
Infectious and transparent emotivism
On the probability and cost of ignorance, inconsistency, nonsense and more
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
GÖDEL ON MANY-VALUED LOGIC
Typed SLD-resolution: dynamic typing for logic programming
Immune Logics ain't that Immune
Aggregation operators on shadowed sets
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks
A logical modeling of severe ignorance
Weak Kleene and other weak logics of conditionals
The liar paradox and ``meaningless revenge
A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
Meaning, intonation and negation
On paracomplete versions of Jaśkowski's discussive logic
A cartography of LFIs and truth
Finite Hilbert systems for weak Kleene logics
Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic
A new game theoretic semantics (GTS-2) for weak Kleene logics
Normalisation for some infectious logics and their relatives
Why sometimes the King of France is not bald: presupposition denial without ambiguity
On Beall's new interpretation of \(WK_{3}\)
Duality for semilattice representations
Tableaux for metainferential logics
Fully evaluated left-sequential logics
Conditional logic as a short-circuit logic
The external version of a subclassical logic
Modal weak Kleene logics through variables inclusion
Insensitive games: game semantics for modal insensitivity
Computer-aided searching for a tabular many-valued discussive logic -- matrices
Modal weak Kleene logics: axiomatizations and relational semantics
On the structure of Bochvar algebras
Logical mechanisms of tabooing discourse
Modal, fuzzy,\dots, vanilla fixpoint theories of truth: a uniform approach
Hyperintensional epistemic justification: a ground-theoretic topic-sensitive semantics
A case for weak Kleene ST
Inference of Extended Finite State Machines
A Formal Model of Extended Finite State Machines
Exact truth and double-rail logics
De Finettian logics of indicative conditionals. I: Trivalent semantics and validity

This page was built for publication: On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4750621)