Results 281 to 290 of about 10,008 (302)

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

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   +2 more sources

Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle

Notre Dame Journal of Formal Logic, 2014
Gemma Robles, JOSÉ M Méndez
exaly  

A Routley-Meyer Type Semantics for Relevant Logics Including Br Plus the Disjunctive Syllogism

Journal of Philosophical Logic, 2009
Gemma Robles, JOSÉ M Méndez, Robles Gemma   +2 more
exaly  

Classical relevant logics. I

Studia Logica, 1973
Meyer, Robert K., Routley, Richard
openaire   +1 more source

The Relevance of Relevant Logic

1989
openaire   +1 more source

Completeness and conservative extension results for some boolean relevant logics

Studia Logica, 1989
Steve Giambrone, Robert K Meyer, Meyer Robert K   +2 more
exaly  

On the hyperintensionality of relevant logics and some of their rivals

SynthÈse
Shawn Standefer, Standefer Shawn
exaly  

Halldén Completeness for Relevant Modal Logics

Notre Dame Journal of Formal Logic, 2015
exaly  

Mechanizing relevant logics with HOL

Lecture Notes in Computer Science, 1998
Hajime Sawamura, Sawamura Hajime
exaly