К теории моделей для интуиционисткой логоки
В.И. Степанов (1984)
Matematiceskij sbornik
Similarity:
В.И. Степанов (1984)
Matematiceskij sbornik
Similarity:
А.П. Столбоушкин (1986)
Matematiceskij sbornik
Similarity:
В.Г. Кановей (1985)
Matematiceskij sbornik
Similarity:
Došen, Kosta (1984)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Božić, Milan (1984)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Zofia Kostrzycka (2020)
Bulletin of the Section of Logic
Similarity:
We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication as modal strict implication, whereas variables and other positive sentences remain as they are. The proposed translation preserves fragments of the Rieger-Nishimura lattice which is the Lindenbaum algebra of monadic formulas in INT. Unfortunately, INT is not embedded...
Javier Legris, Jorge A. Molina (2001)
Philosophia Scientiae
Similarity:
In this paper we analyze the consideration of intuitionistic logic as an extension of classical logic. This — at first sight surprising — point of view has been sustained explicitly by Jan Łukasiewicz on the basis of a mapping of classical propositional logic into intuitionistic propositional logic by Kurt Gödel in 1933. Simultaneously with Gödel, Gerhard Gentzen had proposed another mapping of Peano´s arithmetic into Heyting´s arithmetic. We shall discuss these mappings in connection...
С.В. Бочкарев (1974)
Matematiceskij sbornik
Similarity:
Marković, Zoran, Ognjanović, Zoran, Rašković, Miodrag (2003)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Szymon Chlebowski, Dorota Leszczyńska-Jasion (2019)
Bulletin of the Section of Logic
Similarity:
We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity (ISCI). We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s propositional identity connective.
Е.А. Горин (1970)
Matematiceskij sbornik
Similarity:
Mitio Takano (2020)
Bulletin of the Section of Logic
Similarity:
A modified subformula property for the modal logic KD with the additionalaxiom □ ◊(A ∨ B) ⊃ □ ◊ A ∨ □ ◊B is shown. A new modification of the notion of subformula is proposed for this purpose. This modification forms a natural extension of our former one on which modified subformula property for the modal logics K5, K5D and S4.2 has been shown ([2] and [4]). The finite model property as well as decidability for the logic follows from this.
М.И. Белишев (1990)
Matematiceskij sbornik
Similarity:
Miodrag Kapetanović, Aleksandar Krapež (1989)
Publications de l'Institut Mathématique
Similarity:
И.Ц. Гохберг, Е.И. Сигал (1971)
Matematiceskij sbornik
Similarity:
M.-A. Nait Abdallah (1988)
Banach Center Publications
Similarity: