Intuitive semantics for first-degree entailments and `coupled trees'
From MaRDI portal
Publication:1786806
DOI10.1007/BF00373152zbMath1435.03043MaRDI QIDQ1786806
Publication date: 25 September 2018
Published in: Philosophical Studies (Search for Journal in Brave)
Related Items (only showing first 100 items - show all)
THE LATTICE OF SUPER-BELNAP LOGICS ⋮ IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 ⋮ A Generalization of Falsity in Finitely-many Valued Logics ⋮ A modal reduction for partial logic ⋮ Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond ⋮ Inconsistency-Tolerant Multi-Agent Calculus ⋮ Notes on Craig interpolation for LJ with strong negation ⋮ Game Theoretical Semantics for Paraconsistent Logics ⋮ Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B ⋮ EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes ⋮ Useful Four-Valued Extension of the Temporal Logic KtT4 ⋮ Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic ⋮ RELEVANCE LOGICS AND RELATION ALGEBRAS ⋮ The Relevance of Relevance to Relevance Logic ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ A star-free semantics for R ⋮ On deductive bases for paraconsistent answer set semantics ⋮ A computational interpretation of conceptivism ⋮ The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic ⋮ Game theoretical semantics for some non-classical logics ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework ⋮ A semantics for reasoning consistently in the presence of inconsistency ⋮ Belnap Constants and Nelson Logic ⋮ MTV logics ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ A deterministic weakening of Belnap-Dunn logic ⋮ Unnamed Item ⋮ Paraconsistent double negation as a modal operator ⋮ Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach ⋮ Unnamed Item ⋮ Free of Detachment: Logic, Rationality, and Gluts ⋮ A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE ⋮ Two-sided sequent calculi for \textit{FDE}-like four-valued logics ⋮ Notes on models of (partial) Kripke-Feferman truth ⋮ A simple Henkin-style completeness proof for Gödel 3-valued logic G3 ⋮ The lattice of Belnapian modal logics: Special extensions and counterparts ⋮ Partial and paraconsistent three-valued logics ⋮ A Non-classical Logical Approach to Social Software ⋮ Logical pluralism and semantic information ⋮ Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ Truth, Falsehood, Information and Beyond: The American Plan Generalized ⋮ Logical Foundations of Evidential Reasoning with Contradictory Information ⋮ Tracking Information ⋮ An Invitation to New Essays on Belnap-Dunn Logic ⋮ How a Computer Should Think ⋮ A Useful Four-Valued Logic ⋮ Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond ⋮ Default Rules in the Logic of First-Degree Entailments ⋮ Belnap and Nāgārjuna on How Computers and Sentient Beings Should Think: Truth, Trust and the Catuṣkoṭi ⋮ K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You ⋮ Bridging the Two Plans in the Semantics for Relevant Logic ⋮ Bilattice Logics and Demi-Negation ⋮ Consistency, Completeness, and Classicality ⋮ Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic ⋮ First-Degree Entailment and Structural Reasoning ⋮ Contradictory Information: Better Than Nothing? The Paradox of the Two Firefighters ⋮ Priest on Negation ⋮ Two Negations Are More than One ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ Belnap-Dunn modal logic with value operators ⋮ Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic ⋮ LP+, K3+, FDE+, AND THEIR ‘CLASSICAL COLLAPSE’ ⋮ BELIEF REVISION, PROBABILISM, AND LOGIC CHOICE ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values ⋮ Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness ⋮ A natural deduction system for first degree entailment ⋮ On extensions of triangular norms on bounded lattices ⋮ Processing Information from a Set of Sources ⋮ First Degree Entailment, Symmetry and Paradox ⋮ Natural Deduction for Four-Valued both Regular and Monotonic Logics ⋮ In Defence of Dialetheism: A Reply to Beziau and Tkaczyk ⋮ Valuations: bi, tri, and tetra ⋮ The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins ⋮ A nonstandard approach to the logical omniscience problem ⋮ A nonstandard approach to the logical omniscience problem ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ Explicating logical independence ⋮ Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality ⋮ Connexive Conditional Logic. Part I ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ JGXYZ: an ATP system for gap and glut logics ⋮ Countably many weakenings of Belnap-Dunn logic ⋮ SEQUENT CALCULI FOR SOME TRILATTICE LOGICS ⋮ FOUR BASIC LOGICAL ISSUES ⋮ Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value ⋮ POWER STRUCTURES AND LOGIC ⋮ Paraconsistency and the need for infinite semantics ⋮ Notes on stratified semantics ⋮ Functional Completeness in CPL via Correspondence Analysis ⋮ The Method of Socratic Proofs Meets Correspondence Analysis ⋮ An Approach to Paraconsistent Multivalued Logic: Evaluation by Complex Truth Values ⋮ Unnamed Item ⋮ Exactly true and non-falsity logics meeting infectious ones ⋮ Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations ⋮ A non-inferentialist, anti-realistic conception of logical truth and falsity ⋮ Normalisation for Some Quite Interesting Many-Valued Logics ⋮ R-Mingle is Nice, and so is Arnon Avron ⋮ Relevance-Sensitive Truth-Trees
Cites Work
This page was built for publication: Intuitive semantics for first-degree entailments and `coupled trees'
