Доказуемостные интерпретации интуиционистской логики.

##plugins.themes.bootstrap3.article.sidebar##

PDF (Русский)
Published: 15.06.1998
DOI: https://doi.org/10.21146/2074-1472-1998-5-0-19-24

##plugins.themes.bootstrap3.article.main##

L.I. Esakia

Abstract

Robert Solovay investigated the version of the modal system one gets by taking "Box(p) " to mean ”p is true in every transitive model of Zermelo-Fraenkel Set Theory ZF”. The main result of this note establishes that the Intermediate Logic of the week Peirs Law sound and complet under the Solovay's interpretation.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

How to Cite
Esakia L. Доказуемостные интерпретации интуиционистской логики. // Logicheskie Issledovaniya / Logical Investigations. 1998. VOL. 5. C. 19-24.
Issue
Vol 5 (1998)
Section
Papers