The Semantics of First Degree Entailment
From MaRDI portal
Publication:5275735
DOI10.2307/2214309zbMath1366.03122OpenAlexW2126833102MaRDI QIDQ5275735
Publication date: 14 July 2017
Published in: Noûs (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2214309
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)
Related Items
Paraconsistent logic, Routley star and hyperintensionality, Limited reasoning in first-order knowledge bases, Game Theoretical Semantics for Paraconsistent Logics, Shrieking, shrugging, and the Australian plan, The Relevance of Relevance to Relevance Logic, Correspondence analysis and automated proof-searching for first degree entailment, A star-free semantics for R, Game theoretical semantics for some non-classical logics, HYPE: a system of hyperintensional logic (with an application to semantic paradoxes), What is an inference rule?, The nature of entailment: an informational approach, A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes, A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic, Neighbourhood semantics for modal relevant logics, Farewell to suppression-freedom, SUBSTITUTION IN RELEVANT LOGICS, Composition of an intuitionistic negation and negative modalities as a necessity operator, Non-Boolean classical relevant logics. I, Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3, 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, Understanding negation implicationally in the relevant logic R, There is more to negation than modality, Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic, Arithmetic Starred, Double Negation Operator in Logic N ∗, First Degree Entailment, Symmetry and Paradox, Intuitive semantics for first-degree entailments and `coupled trees', A nonstandard approach to the logical omniscience problem, A nonstandard approach to the logical omniscience problem, Negation on the Australian plan, Larisa Maksimova’s Early Contributions to Relevance Logic, Richard (Routley) Sylvan: Writings on Logic and Metaphysics, Explicating logical independence, Well-Founded and Partial Stable Semantics Logical Aspects, POWER STRUCTURES AND LOGIC, The role of the common in cognitive prosperity: our command of the unspeakable and unwriteable, A semantical analysis of implicational system I and of the first degree of entailment, Notes on stratified semantics, Subminimal negation on the Australian plan
