Results 251 to 260 of about 61,671 (307)

A Pretabular Classical Relevance Logic

Studia Logica, 2012
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lisa Galminas, John G. Mersch
exaly   +2 more sources

Combining classical logic, paraconsistency and relevance

Journal of Applied Logic, 2005
We present a logic with has both a simple semantics and a cut-free Gentzen-type system on one hand, and which combines relevance logics, da Costa's paraconsistent logics, and classical logic on the other.
Arnon Avron
exaly   +2 more sources

Aristotle’s assertoric syllogistic and modern relevance logic [PDF]

SynthÈse, 2015
This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance logic or shows significant similarities with it. I prepare the grounds for a meaningful comparison by extracting the notion of relevance employed in the most
Philipp Steinkruger
exaly   +2 more sources

A Relevant Logic of Questions

Journal of Philosophical Logic, 2020
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

On the logic of relevance

Synthese, 1978
When we judge the probability of a statement r we try to take into account as much information as possible. But not all information that we have, or can obtain, is relevant to r, and it is only relevant information that is of any importance. Thus ‘relevance’ ought to be a central concept in the philosophy of science. However, the logical foundations of
openaire   +3 more sources

QUANTIFIED MODAL RELEVANT LOGICS

The Review of Symbolic Logic, 2021
AbstractHere, I combine the semantics of Mares and Goldblatt [20] and Seki [29, 30] to develop a semantics for quantified modal relevant logics extending ${\bf B}$ . The combination requires demonstrating that the Mares–Goldblatt approach is apt for quantified extensions of ${\bf B}$ and other relevant logics, but no significant bridging principles ...
openaire   +1 more source

BILATERAL RELEVANT LOGIC

The Review of Symbolic Logic, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Algorithms for Relevant Logic

2005
Summary: The classical analytic tableau method has been extended successfully to modal logics and also to relevant and paraconsistent logics. The classical connection method has been extended to modal and intuitionistic logics, and the purpose of this paper is to investigate whether a similar adaptation to relevant logic is possible. A hybrid method is
Gochet, Paul, Gribomont, Pascal, Rossetto, Didier   +2 more
openaire   +3 more sources