Universal models for the positive fragment of intuitionistic logic

Nick Bezhanishvili, Dick de Jongh, Apostolos Tzimoulis, Zhiguang Zhao*

*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Abstract

We describe the n-universal model U(n) of the positive fragment of the intuitionistic propositional calculus IPC. We show that U(n) is isomorphic to a generated submodel of U(n) - the n-universal model of IPC. Using U(n), we give an alternative proof of Jankov’s theorem stating that the intermediate logic KC, the logic of the weak law of excluded middle, is the greatest intermediate logic extending IPC that proves exactly the same positive formulas as IPC.

Original languageEnglish
Title of host publicationLogic, Language, and Computation - 11th International Tbilisi Symposium, TbiLLC 2015, Revised Selected Papers
EditorsMehrnoosh Sadrzadeh, Henk Zeevat, Sarah E. Murray, Helle Hvid Hansen
PublisherSpringer Verlag
Pages229-250
Number of pages22
ISBN (Print)9783662543313
DOIs
Publication statusPublished - 1 Jan 2017
Externally publishedYes
Event11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015 - Tbilisi, Georgia
Duration: 21 Sep 201526 Sep 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10148 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015
CountryGeorgia
CityTbilisi
Period21/09/1526/09/15

Keywords

  • Fragment of intuitionistic logic
  • Jankov’s theorem
  • Positive morphism
  • Universal models

Fingerprint

Dive into the research topics of 'Universal models for the positive fragment of intuitionistic logic'. Together they form a unique fingerprint.

Cite this