Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Intermediate logics and the de Jongh property

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • المؤلفون: de Jongh, D.; Verbrugge, R.; Visser, A.
  • المصدر:
    de Jongh , D , Verbrugge , R & Visser , A 2009 , Intermediate logics and the de Jongh property . in P Cintula , Z Haniková & V Švejdar (eds) , Witnessed years : essays in honour of Petr Hájek . Tributes , vol. 10 , College Publications , London , pp. 33-52 . < http://staff.science.uva.nl/~dickdj/Hajek-deJonghVV041209.pdf >
  • نوع التسجيلة:
    book part
  • اللغة:
    English
  • معلومة اضافية
    • Contributors:
      Cintula, P.; Haniková, Z.; Švejdar, V.
    • بيانات النشر:
      College Publications
    • الموضوع:
      2009
    • Collection:
      Universiteit van Amsterdam: Digital Academic Repository (UvA DARE)
    • نبذة مختصرة :
      We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.
    • File Description:
      application/pdf
    • Relation:
      https://dare.uva.nl/personal/pure/en/publications/intermediate-logics-and-the-de-jongh-property(138362f5-4bdf-49ba-b936-e35424f9439e).html; urn:ISBN:978190987635
    • الدخول الالكتروني :
      https://dare.uva.nl/personal/pure/en/publications/intermediate-logics-and-the-de-jongh-property(138362f5-4bdf-49ba-b936-e35424f9439e).html
      https://pure.uva.nl/ws/files/990892/88518_332805.pdf
      http://www.collegepublications.co.uk/tributes/?00010
      http://staff.science.uva.nl/~dickdj/Hajek-deJonghVV041209.pdf
    • Rights:
      info:eu-repo/semantics/openAccess
    • الرقم المعرف:
      edsbas.11EBA668