The Non-Involutive Routley Star: Relevant Logics Without Weak Double Negation

The Non-Involutive Routley Star: Relevant Logics Without Weak Double Negation

En este trabajo, se definen una serie de lógicas incluidas en la lògica de la relevancia R sin el axioma de introducción de la doble negación. In this paper, I define a series of logics included in relevance logic R and without the axiom of introduction of double negation.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Teorema 2010-01, Vol.29 (3), p.103-116
1. Verfasser: Robles, Gemma
Format: Artikel
Sprache:eng
Schlagworte:
Abstract logic
Antitheses
Double negation
Entailment
Grammatical clauses
Logic
Logical postulates
Logical theorems
Relevance logic
Semantics
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:En este trabajo, se definen una serie de lógicas incluidas en la lògica de la relevancia R sin el axioma de introducción de la doble negación. In this paper, I define a series of logics included in relevance logic R and without the axiom of introduction of double negation.
ISSN:0210-1602