Pages that link to "Item:Q4750621"
From MaRDI portal
The following pages link to On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus (Q4750621):
Displayed 50 items.
- One hundred years of semantic paradox (Q266649) (← links)
- A multiple-valued logic approach to the design and verification of hardware circuits (Q266875) (← links)
- Inversive meadows and divisive meadows (Q420833) (← links)
- A map of dependencies among three-valued logics (Q497633) (← links)
- On Beall's new interpretation of \(WK_{3}\) (Q667921) (← links)
- Duality for semilattice representations (Q675139) (← links)
- De Finettian logics of indicative conditionals. I: Trivalent semantics and validity (Q830362) (← links)
- Convex MV-algebras: many-valued logics meet decision theory (Q1615991) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics (Q1689568) (← links)
- On finite-valued propositional logical calculi (Q1913635) (← links)
- Variable-domain fuzzy sets. II: Apparatus (Q2036807) (← links)
- Containment logics: algebraic completeness and axiomatization (Q2062211) (← links)
- A reinterpretation of Beall's `off-topic' semantics (Q2093029) (← links)
- Logics of synonymy (Q2194116) (← links)
- Reference, paradoxes and truth (Q2268775) (← links)
- Missing values and dragonfly operations in fuzzy relational compositions (Q2302773) (← links)
- On the structure of \(C\)-algebras through atomicity and \texttt{if-then-else} (Q2310439) (← links)
- Deduction normalization theorem for Sette's logic and its modifications (Q2319976) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- Three-Valued Logics for Incomplete Information and Epistemic Logic (Q2915066) (← links)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
- Variations on the Collapsing Lemma (Q3305667) (← links)
- Unifying Theories of Undefinedness in UTP (Q3455642) (← links)
- The Geometry of Negation (Q3647200) (← links)
- The heritage of S. A. Janovskaja (Q3758786) (← links)
- A modal theorem-preserving translation of a class of three-valued logics of incomplete information (Q4583322) (← links)
- Foreword: Three-valued logics and their applications (Q4583341) (← links)
- A computational interpretation of conceptivism (Q4583359) (← links)
- Defining LFIs and LFUs in extensions of infectious logics (Q4586167) (← links)
- Paul of Venice and Realist Developments of Roger Swyneshed's Treatment of Semantic Paradoxes (Q4608198) (← links)
- Natural deduction for three-valued regular logics (Q4683206) (← links)
- Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence (Q4683207) (← links)
- Natural Deduction for Four-Valued both Regular and Monotonic Logics (Q4683216) (← links)
- Exactly true and non-falsity logics meeting infectious ones (Q4995617) (← links)
- Beall-ing O (Q5006824) (← links)
- (Q5020543) (← links)
- (Q5021003) (← links)
- Pure Variable Inclusion Logics (Q5066089) (← links)
- Infectious and transparent emotivism (Q5074365) (← links)
- (Q5078314) (← links)
- Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation (Q5156187) (← links)
- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504) (← links)
- An Epistemic Interpretation of Paraconsistent Weak Kleene Logic (Q5215506) (← links)
- Axiomatization of <tt>if-then-else</tt> over possibly non-halting programs and tests (Q5269894) (← links)
- GÖDEL ON MANY-VALUED LOGIC (Q6074936) (← links)
- Typed SLD-resolution: dynamic typing for logic programming (Q6103019) (← links)
- Immune Logics ain't that Immune (Q6107294) (← links)
- Aggregation operators on shadowed sets (Q6118665) (← links)
- Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks (Q6157205) (← links)