KIAM Main page Web Library  •  Publication Searh  Русский 
Publication

Article collection "Mathematical Problems of Cybernetics" №5, Moscow, 1994
Authors: Chagrov A.V.
Irresolvable properties of superintuitionistic logics
Abstract:
Superintuitionistic logics are obtained from intuitionistic logic by including additional axioms. The major goal of the present work is to develop proof methods of irresolvability for various properties of superintuitionistic logics and of some related fragments of modal logics. The article presents three levels of application for these methods. Previously known and newly obtained results of property irresolvability for superintuitionistic and modal logics are grouped into a table with 38 rows (properties) and 8 columns (logics).
Keywords:
superintuitionistic logic, intuitionistic logic, modal logic, axioms, irresolvability, Kripke scales
Publication language: russian,  pages: 47 (p. 62-108)
Research direction:
Mathematical problems and theory of numerical methods
Russian source text:
Export link to publication in format:   RIS    BibTex