Intuitive semantics for first-degree entailments and `coupled trees'

Cites Work

Title not available (Why is that?)
The Semantics of First Degree Entailment
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
A modification of Parry's analytic implication
Pragmatics and intensional logic

Cited In (only showing first 100 items - show all)

Paraconsistent double negation as a modal operator
The lattice of Belnapian modal logics: Special extensions and counterparts
A four-valued dynamic epistemic logic
On deductive bases for paraconsistent answer set semantics
De Morgan clones and four-valued logics
Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion
Polarity semantics for negation as a modal operator
Bilattice Logics and Demi-Negation
Processing Information from a Set of Sources
Relevant analytic tableaux
Interpolation in 16-valued trilattice logics
Limited reasoning in first-order knowledge bases
Pecularities of some three- and four-valued second order logics
A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
Natural deduction for Fitting's four-valued generalizations of Kleene's logics
Tracking Information
Explicating logical independence
Impossible worlds and the logic of imagination
A sieve for entailments
Limited reasoning in first-order knowledge bases with full introspection
Notes on models of (partial) Kripke-Feferman truth
Provability multilattice logic
Reasons and entailment
THE LATTICE OF SUPER-BELNAP LOGICS
Two-sided sequent calculi for \textit{FDE}-like four-valued logics
The method of polynomial ring calculus and its potentialities
Proof systems combining classical and paraconsistent negations
On Split Negation, Strong Negation, Information, Falsification, and Verification
Truth, Falsehood, Information and Beyond: The American Plan Generalized
A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
Identifying logical evidence
Compositional meaning in logic
Interpolation methods for Dunn logics and their extensions
Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
Paraconsistent double negations as classical and intuitionistic negations
Rivals to Belnap-Dunn logic on interlaced trilattices
A hierarchy of weak double negations
Semantic closure
Consistency, Completeness, and Classicality
Relevance-Sensitive Truth-Trees
Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
Bi-facial truth: a case for generalized truth values
Suszko's thesis, inferential many-valuedness, and the notion of a logical system
Notes on Craig interpolation for LJ with strong negation
Title not available (Why is that?)
Natural Deduction for Four-Valued both Regular and Monotonic Logics
Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic
RELEVANCE LOGICS AND RELATION ALGEBRAS
BELIEF REVISION, PROBABILISM, AND LOGIC CHOICE
Functional Completeness in CPL via Correspondence Analysis
The Method of Socratic Proofs Meets Correspondence Analysis
Title not available (Why is that?)
Relevance from an epistemic perspective
Game Theoretical Semantics for Paraconsistent Logics
Hyper-contradictions, generalized truth values and logics of truth and falsehood
Quasi-canonical systems and their semantics
The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
JGXYZ: an ATP system for gap and glut logics
On partial and paraconsistent logics
Logical pluralism and semantic information
Four valued semantics and the Liar
Some useful 16-valued logics: How a computer network should think
POWER STRUCTURES AND LOGIC
A theory of truth that prefers falsehood
Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
A nonstandard approach to the logical omniscience problem
Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
A computational interpretation of conceptivism
Paradox, truth and logic. I. Paradox and truth
Non-deterministic semantics in polynomial format
``Four-valued semantics for the relevant logic R
Editorial introduction. Truth values. I
First-Degree Entailment and Structural Reasoning
Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond
A semantics for reasoning consistently in the presence of inconsistency
An algebraic view of super-Belnap logics
Cut elimination, identity elimination, and interpolation in super-Belnap logics
Disentangling \textsf{FDE}-based paraconsistent modal logics
Four-valued paradefinite logics
A Kripke-style semantics for R-mingle using a binary accessibility relation
Ways things can't be
A modal reduction for partial logic
Four-valued logic
Four-valued logics of truth, nonfalsity, exact truth, and material equivalence
A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
On all strong Kleene generalizations of classical logic
Correia semantics revisited
A non-deterministic view on non-classical negations
In Defence of Dialetheism: A Reply to Beziau and Tkaczyk
LP⁺, K3⁺, FDE⁺, AND THEIR ‘CLASSICAL COLLAPSE’
The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)
Countably many weakenings of Belnap-Dunn logic
A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
A deterministic weakening of Belnap-Dunn logic
HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
Game theoretical semantics for some non-classical logics
A Gentzen calculus for nothing but the truth
Tractable reasoning via approximation
Correspondence analysis and automated proof-searching for first degree entailment

This page was built for publication: Intuitive semantics for first-degree entailments and `coupled trees'

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