Loading...

Basic propositional logic and the weak excluded middle

Alizadeh, M ; Sharif University of Technology | 2019

145 Viewed
  1. Type of Document: Article
  2. DOI: 10.1093/jigpal/jzy052
  3. Publisher: Oxford University Press , 2019
  4. Abstract:
  5. We study basic propositional logic (BPC) augmented with the law of the weak excluded middle (WEM), i.e. BPW = BPC+WEM. We show that the variety of the algebraic models of BPW is canonical, and its Kripke completeness is proved via cononicity. Moreover, it is also proved that BPW has the finite model property and is decidable. It is shown that BPC and BPW have the same behaviour on the ˔-free formulas and that CPC and BPW have the same behaviour on the negated formulas. © The Author(s) 2018. Published by Oxford University Press. All rights reserved
  6. Keywords:
  7. Basic propositional logic ; Kripke models ; Visser algebras ; Weak excluded middle
  8. Source: Logic Journal of the IGPL ; Volume 27, Issue 3 , 2019 , Pages 371-383 ; 13670751 (ISSN)
  9. URL: https://academic.oup.com/jigpal/article-abstract/27/3/371/5128807?redirectedFrom=fulltext