Intuitive semantics for first-degree entailments and `coupled trees'
From MaRDI portal
Cites work
- A modification of Parry's analytic implication
- scientific article; zbMATH DE number 3496100 (Why is no real title available?)
- scientific article; zbMATH DE number 1269493 (Why is no real title available?)
- scientific article; zbMATH DE number 3443559 (Why is no real title available?)
- scientific article; zbMATH DE number 3254847 (Why is no real title available?)
- scientific article; zbMATH DE number 3274715 (Why is no real title available?)
- Pragmatics and intensional logic
- The Semantics of First Degree Entailment
Cited in
(only showing first 100 items - show all)- Hyper-contradictions, generalized truth values and logics of truth and falsehood
- Proof systems combining classical and paraconsistent negations
- Editorial introduction. Truth values. I
- A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
- Semantic closure
- The American plan completed: Alternative classical-style semantics, without stars, for relevant and paraconsistent logics
- Bilattices and the theory of truth
- Relevance from an epistemic perspective
- A sieve for entailments
- A Kripke-style semantics for R-mingle using a binary accessibility relation
- A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
- Relevant analytic tableaux
- Information and impossibilities
- Ways things can't be
- How to be really contraction free
- Limited reasoning in first-order knowledge bases
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
- Four-valued semantics for relevant logics (and some of their rivals)
- A theory of truth that prefers falsehood
- Four-valued logic
- Pecularities of some three- and four-valued second order logics
- Compositional meaning in logic
- Modal multilattice logic
- 40 years of FDE: an introductory overview
- An algebraic view of super-Belnap logics
- Four-valued paradefinite logics
- Rivals to Belnap-Dunn logic on interlaced trilattices
- Paraconsistent double negations as classical and intuitionistic negations
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- Cut elimination, identity elimination, and interpolation in super-Belnap logics
- First-degree entailment and its relatives
- Interpolation methods for Dunn logics and their extensions
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- Impossible worlds and the logic of imagination
- Interpolation in 16-valued trilattice logics
- Proof theory of paraconsistent quantum logic
- Tractable reasoning via approximation
- ``Four-valued semantics for the relevant logic R
- Human rationality challenges universal logic
- On a new idiom in the study of entailment
- Contradictory information: too much of a good thing
- The power of Belnap: sequent systems for \(SIXTEEN_{3 }\)
- Four-valued logics of truth, nonfalsity, exact truth, and material equivalence
- A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information
- Modal extension of ideal paraconsistent four-valued logic and its subsystem
- Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
- A hierarchy of weak double negations
- Bi-facial truth: a case for generalized truth values
- Non-distributive relatives of ETL and NFL
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
- Neighbourhood semantics for FDE-based modal logics
- Embedding friendly first-order paradefinite and connexive logics
- Subminimal negation on the Australian plan
- Valuation semantics for first-order logics of evidence and truth
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
- First-order logics of evidence and truth with constant and variable domains
- Paraconsistent Gödel modal logic
- Constraint tableaux for two-dimensional fuzzy logics
- Modal bilattice logic and its extensions
- Shrieking, shrugging, and the Australian plan
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
- Limited reasoning in first-order knowledge bases with full introspection
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic
- The normal and self-extensional extension of Dunn-Belnap logic
- The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
- A four-valued dynamic epistemic logic
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
- Probabilities with gaps and gluts
- Belnap-Dunn modal logic with value operators
- On extensions of triangular norms on bounded lattices
- Valuations: bi, tri, and tetra
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- Explicating logical independence
- JGXYZ: an ATP system for gap and glut logics
- Countably many weakenings of Belnap-Dunn logic
- Paraconsistency and the need for infinite semantics
- Notes on stratified semantics
- A non-inferentialist, anti-realistic conception of logical truth and falsity
- A modal reduction for partial logic
- Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- A deterministic weakening of Belnap-Dunn logic
- Logical pluralism and semantic information
- Correspondence analysis and automated proof-searching for first degree entailment
- A semantics for reasoning consistently in the presence of inconsistency
- MTV logics
- 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
- Non-deterministic semantics in polynomial format
- The relevance of relevance to relevance logic
- Paraconsistent double negation as a modal operator
- On all strong Kleene generalizations of classical logic
- Free of Detachment: Logic, Rationality, and Gluts
- A simple Henkin-style completeness proof for Gödel 3-valued logic G3
- The lattice of Belnapian modal logics: special extensions and counterparts
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)
