Results 271 to 280 of about 10,008 (302)
Some of the next articles are maybe not open access.
Relevant Variants of Intuitionistic Logic
Logic Journal of IGPL, 1994It is well known that adding a propositional constant \(f\) to the system of relevant logic R, and defining \(\neg\alpha\) as \(\alpha\to f\), provides an intuitionist-like negation. [See, e.g., \textit{R. K. Meyer}, ``Intuitionism, entailment and negation'', in: Truth, Syntax and Modality, Stud. Logic Found. Math.
openaire +1 more source
Syllogistic Relevance and Term Logic
Journal of Logic, Language and InformationzbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
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
The first axiomatization of relevant logic
Journal of Philosophical Logic, 1992This paper presents a survey review of a much neglected, but historically most interesting paper by the Russian \textit{I. E. Orlov} [Mat. Sb. 35, 263-286 (1928; JFM 54.0054.03)]. In that paper Orlov formulated the first known axiomatization of relevance logic, in particular the implication- negation fragment of the Anderson-Belnap system \(R\).
openaire +1 more source
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
Neighbourhood Semantics for Quantified Relevant Logics
Journal of Philosophical Logic, 2021Andrew Tedder, Tedder Andrew
exaly
Neighbourhood Semantics for Modal Relevant Logics
Journal of Philosophical Logic, 2022Andrew Tedder, Tedder Andrew
exaly
Consistent Theories in Inconsistent Logics
Journal of Philosophical Logic, 2023Franci Mangraviti +2 more
exaly