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...
Gespeichert in:
Veröffentlicht in: | Logique et analyse 2012-04, Vol.55 (218), p.241-279 |
---|---|
1. Verfasser: | |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
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 |