Loading...

Completeness of intermediate logics with doubly negated axioms

Ardeshir, M ; Sharif University of Technology

180 Viewed
  1. Type of Document: Article
  2. DOI: 10.1002/malq.201200083
  3. Abstract:
  4. Let L denote a first-order logic in a language that contains infinitely many constant symbols and also containing intuitionistic logic IQC. By ¬¬L, we mean the associated logic axiomatized by the double negation of the universal closure of the axioms of L plus IQC. We shall show that if L is strongly complete for a class of Kripke models K, then ¬¬L is strongly complete for the class of Kripke models that are ultimately in K
  5. Keywords:
  6. Doubly negated axioms ; Intermediate logics
  7. Source: Mathematical Logic Quarterly ; Vol. 60, issue. 1-2 , February , 2014 , pp. 6-11 ; ISSN: 09425616
  8. URL: http://onlinelibrary.wiley.com/doi/10.1002/malq.201200083/abstract