Loading...

Intuitionistic axiomatizations for bounded extension Kripke models

Ardeshir, M ; Sharif University of Technology | 2003

85 Viewed
  1. Type of Document: Article
  2. DOI: 10.1016/S0168-0072(03)00058-7
  3. Publisher: 2003
  4. Abstract:
  5. We present axiom systems, and provide soundness and strong completeness theorems, for classes of Kripke models with restricted extension rules among the node structures of the model. As examples we present an axiom system for the class of cofinal extension Kripke models, and an axiom system for the class of end-extension Kripke models. We also show that Heyting arithmetic (HA) is strongly complete for its class of end-extension models. Cofinal extension models of HA are models of Peano arithmetic (PA). © 2003 Elsevier B.V. All rights reserved
  6. Keywords:
  7. Completeness ; Heyting arithmetic ; Kripke model
  8. Source: Annals of Pure and Applied Logic ; Volume 124, Issue 1-3 , 2003 , Pages 267-285 ; 01680072 (ISSN)
  9. URL: https://www.sciencedirect.com/science/article/pii/S0168007203000587