Results 271 to 280 of about 147,987 (297)
Some of the next articles are maybe not open access.
Relevant logic as a basis for paraconsistent epistemic logics
Journal of Applied Non-Classical Logics, 1992ABSTRACT In this work we argue for relevant logics as a basis for paraconsistent epistemic logics. In order to do so, a paraconsistent nonmonotonic multi-agent epistemic logic, MDR (for Modal Defeasible Relevant), is briefly introduced. In MDR each agent has two kinds of belief: an absolute belief that P, represented by AiP, and a defeasible belief ...
openaire +1 more source
2004
This book introduces the reader to relevant logic and provides the subject with a philosophical interpretation. The defining feature of relevant logic is that it forces the premises of an argument to be really used ('relevant') in deriving its conclusion.
openaire +1 more source
This book introduces the reader to relevant logic and provides the subject with a philosophical interpretation. The defining feature of relevant logic is that it forces the premises of an argument to be really used ('relevant') in deriving its conclusion.
openaire +1 more source
Duality for algebras of relevant logics
Studia Logica, 1996zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
2005
AbstractThe Generalised Tarski Thesis (GTT) yields classical consequence when its cases are taken to be possible worlds, where possible worlds are complete and consistent with respect to negation. That (classical) precisification of ‘follows from’ is familiar and useful, however, it is not the only sense of ‘follows from’ apparent in English.
openaire +1 more source
AbstractThe Generalised Tarski Thesis (GTT) yields classical consequence when its cases are taken to be possible worlds, where possible worlds are complete and consistent with respect to negation. That (classical) precisification of ‘follows from’ is familiar and useful, however, it is not the only sense of ‘follows from’ apparent in English.
openaire +1 more source
Identity in Mares-Goldblatt Models for Quantified Relevant Logic
Journal of Philosophical Logic, 2021Shawn Standefer, Standefer Shawn
exaly
Relevance logics are a misunderstood lot. Despite being the subject of intense study for nearly a century, they remain maligned as too complicated, too abstruse, or too silly to be worth learning much about. This Element aims to dispel these misunderstandings.
openaire +1 more source
openaire +1 more source
Implementing Modal and Relevance Logics in a Logical Framework.
1996We present a framework for machine implementation of both partial and complete fragments of large families of non-classical logics such as modal, relevance, and intuitionistic logics. We decompose a logic into two interacting parts, each a natural deduction system: a base logic of labelled formulae, and a theory of labels characterizing the properties ...
BASIN D., MATTHEWS S., VIGANO', Luca
openaire +2 more sources
A Cut-Elimination Proof in Positive Relevant Logic with Necessity
Studia Logica, 2020Mirjana Ilić
exaly