Results 251 to 260 of about 147,987 (297)

Why Intuitionistic Relevant Logic Cannot Be a Core Logic

Notre Dame Journal of Formal Logic, 2017
International audienceAt the end of the 1980s, Tennant invented a logical system that he called " intuitionistic relevant logic " (IR, for short). Now he calls this same system " Core logic.
Vidal-Rosset, Joseph
exaly   +2 more sources

CHR: A Constructive Relevant Natural-deduction Logic

Electronic Notes in Theoretical Computer Science, 2004
In this paper we develop a natural-deduction logic which is both constructive and relevant. We use a proof-theoretic argument to justify the rules of the logic. The detailed framework we use to develop our system is modeled on that used to develop Martin-
Edwin D Mares
exaly   +2 more sources

Symmetry and Completeness in Relevant Epistemic Logic

Journal of Philosophical Logic
In this paper, we provide an axiom system for the relevant logic of equivalence relation frames and prove completeness for it. This provides a partial answer to the longstanding open problem of axiomatizing frames for relevant modal logics where the ...
Shawn Standefer, Edwin D Mares, Standefer Shawn   +2 more
exaly   +2 more sources

Relevant epistemic logic with state-sensitive topics

SynthÈse
We present a sound and complete axiomatisation of the epistemic logic C.RC. In the logic, the propositional fragment is Classical, while agents’ epistemic attitudes are closed under on–topic relevant consequence, as modeled by Relevant Containment logic.
Pietro Vigiani
exaly   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

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

A Pretabular Classical Relevance Logic

Studia Logica, 2012
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lisa Galminas, John G. Mersch
openaire   +1 more source

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

RELEVANCE LOGICS AND RELATION ALGEBRAS

The Review of Symbolic Logic, 2009
Relevance logicsare known to be sound and complete for relational semantics with a ternary accessibility relation. This paper investigates the problem of adequacy with respect to special kinds ofdynamic semantics(i.e., proper relation algebras and relevant families of relations). We prove severalsoundnessresults here.
Katalin Bimbó, J. Michael Dunn, Roger D. Maddux   +2 more
openaire   +1 more source