Results 161 to 170 of about 4,242,976 (194)
Some of the next articles are maybe not open access.
Gentzenizations of relevant logics with distribution
Journal of Symbolic Logic, 1996We establish cut-free left-handed Gentzenizations for a range of major relevant logics from B through to R, all with distribution. B is the basic system of the Routley-Meyer semantics (see [15], pp. 287–300) and R is the logic of relevant implication (see [1], p. 341). Previously, the contractionless logics DW, TW, EW, RW and RWK were Gentzenized in [3]
openaire +3 more sources
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
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
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
A new classical relevance logic
Journal of Philosophical Logic, 1979The system C of Pottinger (1974) has as primitive logical constants = (entailment), -9 (S4 strict implication), -, (relevant implication), D (intuitionist implication), & (intuitionist conjunction), v (intuitionist disjunction), and A (absurdity). In Section 8 of Pottinger (1974) it was pointed out that the addition of either 2-A A or 2B 2A .A B2 to C ...
openaire +3 more sources
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