Results 171 to 180 of about 4,242,976 (194)

Relevant Propositional Dynamic Logic

SynthÈse, 2022
Andrew Tedder, Marta Bílková
exaly  

Implementing Modal and Relevance Logics in a Logical Framework.

1996
We 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   +3 more sources

An Incompleteness Theorem for Modal Relevant Logics

Notre Dame Journal of Formal Logic, 2021
Shawn Standefer
exaly  

Relevance Logic

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

Non-Boolean Classical Relevant Logics I

SynthÈse, 2021
Tore Fjetland Øgaard
exaly  

Neighbourhood Semantics for Modal Relevant Logics

Journal of Philosophical Logic, 2023
Andrew Tedder, Nicholas Ferenz
exaly  

Relevant Logics

Relevant logics are forms of non-classical logic that require the antecedent and consequent of implications to be relevantly related. They are paraconsistent logics, i.e. they are able to robustly handle contradictory information. The field of non-classical logics is rapidly expanding, particularly with the addition of modalities and quantifiers.
openaire   +1 more source

Classical Relevant Logics II

Studia Logica, 1974
Francis Richard Routley, Bob Meyer
exaly  

The Relevance of Relevant Logic

1989
openaire   +1 more source

Simplified Semantics for Relevant Logics (and Some of Their Rivals)

Journal of Philosophical Logic, 1993
Greg Restall
exaly