An inheritance criterion for the admissible inference rules of K4.

Rutskij, A.N.; Fedorishin, B.R.

Displaying similar documents to “An inheritance criterion for the admissible inference rules of K4.”

Preservation of admissibility of inference rules in the logics similar to S4. 2.

Rybakov, V.V., Rimatskij, V.V. (2002)

Sibirskij Matematicheskij Zhurnal

Similarity:

On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains.

Shrejner, P.A. (2000)

Siberian Mathematical Journal

Similarity:

On the Beth property in extension of Lukasiewicz logics.

Tishkovskij, D.E. (2002)

Sibirskij Matematicheskij Zhurnal

Similarity:

An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz.

Rimatskiĭ, V.V. (2009)

Sibirskij Matematicheskij Zhurnal

Similarity:

Inference rules with metavariables and logical equations in the pretabular modal logic PM1.

Kiyatkin, V.R. (2000)

Siberian Mathematical Journal

Similarity:

$e$ -immune sets.

Solon, B.Ya. (2000)

Siberian Mathematical Journal

Similarity:

Goldstern–Judah–Shelah preservation theorem for countable support iterations

Miroslav Repický (1994)

Fundamenta Mathematicae

Similarity:

[1] T. Bartoszyński, Additivity of measure implies additivity of category, Trans. Amer. Math. Soc. 281 (1984), 209-213. [2] T. Bartoszyński and H. Judah, Measure and Category, in preparation. [3] D. H. Fremlin, Cichoń’s diagram, Publ. Math. Univ. Pierre Marie Curie 66, Sém. Initiation Anal., 1983/84, Exp. 5, 13 pp. [4] M. Goldstern, Tools for your forcing construction, in: Set Theory of the Reals, Conference of Bar-Ilan University, H. Judah (ed.), Israel Math. Conf. Proc. 6, 1992, 307-362....

Countable Toronto spaces

Gary Gruenhage, J. Moore (2000)

Fundamenta Mathematicae

Similarity:

A space X is called an α-Toronto space if X is scattered of Cantor-Bendixson rank α and is homeomorphic to each of its subspaces of the same rank. We answer a question of Steprāns by constructing a countable α-Toronto space for each α ≤ ω. We also construct consistent examples of countable α-Toronto spaces for each $α < ω_{1}$ .

Collatz cycles with few descents

T. Brox (2000)

Acta Arithmetica

Similarity:

The Σ* approach to the fine structure of L

Sy Friedman (1997)

Fundamenta Mathematicae

Similarity:

We present a reformulation of the fine structure theory from Jensen [72] based on his Σ* theory for K and introduce the Fine Structure Principle, which captures its essential content. We use this theory to prove the Square and Fine Scale Principles, and to construct Morasses.