Advanced search
1 file | 326.20 KB

It might have been classical logic

Diderik Batens (UGent)
(2012) LOGIQUE ET ANALYSE. 218. p.241-279
Author
Organization
Abstract
In this paper, a propositional logic Q is presented. This logic is more attractive than classical propositional logic P 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.
Keywords
INCONSISTENCY

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 326.20 KB

Citation

Please use this url to cite or link to this publication:

Chicago
Batens, Diderik. 2012. “It Might Have Been Classical Logic.” Logique Et Analyse 218: 241–279.
APA
Batens, D. (2012). It might have been classical logic. LOGIQUE ET ANALYSE, 218, 241–279.
Vancouver
1.
Batens D. It might have been classical logic. LOGIQUE ET ANALYSE. 2012;218:241–79.
MLA
Batens, Diderik. “It Might Have Been Classical Logic.” LOGIQUE ET ANALYSE 218 (2012): 241–279. Print.
@article{2983575,
  abstract     = {In this paper, a propositional logic Q is presented. This logic is more attractive than classical propositional logic P 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.},
  author       = {Batens, Diderik},
  issn         = {0024-5836},
  journal      = {LOGIQUE ET ANALYSE},
  keyword      = {INCONSISTENCY},
  language     = {eng},
  pages        = {241--279},
  title        = {It might have been classical logic},
  volume       = {218},
  year         = {2012},
}

Web of Science
Times cited: