IT MIGHT HAVE BEEN CLASSICAL LOGIC

In this paper, a propositional logic Q is presented. This logic is more attractive than classical propositional logic Ñ for explicating actual proofs. Moreover, while Q and P assign the same consequence set to consistent premise sets, Q assigns a sensible and non-trivial consequence set to inconsist...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Logique et analyse 2012-04, Vol.55 (218), p.241-279
1. Verfasser: BATENS, DIDERIK
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In this paper, a propositional logic Q is presented. This logic is more attractive than classical propositional logic Ñ for explicating actual proofs. Moreover, while Q and P assign the same consequence set to consistent premise sets, Q assigns a sensible and non-trivial consequence set to inconsistent premise sets.
ISSN:0024-5836
2295-5836