The Semantics of First Degree Entailment
From MaRDI portal
Publication:5275735
Cited in
(60)- Limited reasoning in first-order knowledge bases
- There is more to negation than modality
- Intuitive semantics for first-degree entailments and `coupled trees'
- The role of the common in cognitive prosperity: our command of the unspeakable and unwriteable
- Subminimal negation on the Australian plan
- Shrieking, shrugging, and the Australian plan
- Farewell to suppression-freedom
- Negation on the Australian plan
- Explicating logical independence
- Notes on stratified semantics
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Composition of an intuitionistic negation and negative modalities as a necessity operator
- A semantical analysis of implicational system I and of the first degree of entailment
- Correspondence analysis and automated proof-searching for first degree entailment
- Paraconsistent logic
- Neighbourhood semantics for modal relevant logics
- Non-Boolean classical relevant logics. I
- The relevance of relevance to relevance logic
- A non-classical logical approach to social software
- Logical foundations of evidential reasoning with contradictory information
- Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
- A ``reply to my ``critics
- Intuitive semantics for first-degree entailment and `coupled trees'
- How a Computer Should Think
- A useful four-valued logic
- Two, three, four, infinity: the path to the four-valued logic and beyond
- Bridging the two plans in the semantics for relevant logic
- Priest on negation
- Two negations are more than one
- Well-Founded and Partial Stable Semantics Logical Aspects
- Game theoretical semantics for paraconsistent logics
- What is an inference rule?
- Game theoretical semantics for some non-classical logics
- First degree entailment, symmetry and paradox
- Richard (Routley) Sylvan: Writings on Logic and Metaphysics
- POWER STRUCTURES AND LOGIC
- Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3
- A star-free semantics for R
- Making sense of paraconsistent logic: the nature of logic, classical logic and paraconsistent logic
- Arithmetic starred
- SUBSTITUTION IN RELEVANT LOGICS
- Understanding negation implicationally in the relevant logic R
- Larisa Maksimova’s Early Contributions to Relevance Logic
- Double negation operator in logic N^*
- A nonstandard approach to the logical omniscience problem
- A nonstandard approach to the logical omniscience problem
- The nature of entailment: an informational approach
- A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic
- Realizing impossibilities
- Against classical paraconsistent metatheory
- Knot much like tonk
- From modal Ockham algebras to modal Berman variety: relational semantics and Kripke-completeness
- Models for official entailment
- The disjunction-free fragment of \(\mathbf{D}_2\) is three-valued
- Explicit and implicit belief in first degree entailment with strict implication
- Proofs with star and perp
- Introduction: directions and new directions
- Feminist logic, broadly speaking
- Routley star and hyperintensionality
- A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
This page was built for publication: The Semantics of First Degree Entailment
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5275735)
