Subintuitionistic Logics with Kripke Semantics

Authors
Publication date 2017
Host editors
  • H.H. Hansen
  • S.E. Murray
  • M. Sadrzadeh
  • H. Zeevat
Book title Logic, Language, and Computation
Book subtitle 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers
ISBN
  • 9783662543313
ISBN (electronic)
  • 9783662543320
Series Lecture Notes in Computer Science
Event 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015,
Pages (from-to) 333-354
Publisher Berlin: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
  • Faculty of Science (FNWI)
Abstract The subintuitionistic logics introduced by Corsi and Restall are developed in a uniform manner. In this way Restall’s contributions are clarified. Hilbert type proof systems are given for derivations without and with assumptions. The results are applied to give conservation theorems for intuitionistic logic IPC over Corsi’s system F. For Visser’s basic logic additional conservation results are obtained.
Document type Conference contribution
Language English
Published at https://doi.org/10.1007/978-3-662-54332-0_18
Permalink to this page
Back