Intermediate logics and the de Jongh property

Open Access
Authors
Publication date 2009
Host editors
  • P. Cintula
  • Z. Haniková
  • V. Švejdar
Book title Witnessed years
Book subtitle essays in honour of Petr Hájek
ISBN
  • 978190987635
Series Tributes
Pages (from-to) 33-52
Publisher London: College Publications
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.
Document type Chapter
Language English
Published at http://staff.science.uva.nl/~dickdj/Hajek-deJonghVV041209.pdf
Other links http://www.collegepublications.co.uk/tributes/?00010
Downloads
332805.pdf (Accepted author manuscript)
Permalink to this page
Back