Preservation of admissibility of inference rules in the logics similar to S4. 2.
Rybakov, V.V., Rimatskij, V.V. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Displaying similar documents to “An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz.”
Preservation of admissibility of inference rules in the logics similar to S4. 2.
On the Beth property in extension of Lukasiewicz logics.
Tishkovskij, D.E. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
An inheritance criterion for the admissible inference rules of K4.
Rutskij, A.N., Fedorishin, B.R. (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:
Absence of the interpolation property in the calculi and .
Murzina, V.F. (2008)
Sibirskij Matematicheskij Zhurnal
Similarity:
An extension of the probability logic
Tatjana Stojanović, Ana Kaplarević-Mališić, Zoran Ognjanović (2010)
Kragujevac Journal of Mathematics
Similarity:
-immune sets.
Solon, B.Ya. (2000)
Siberian Mathematical Journal
Similarity:
Inference rules with metavariables and logical equations in the pretabular modal logic PM1.
Kiyatkin, V.R. (2000)
Siberian Mathematical Journal
Similarity:
Admissible functions for cones and asumptotics of infinitely divisible distributions.
Yakymiv, A.L. (2006)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Dopustimye Funkcii Dlya Konusa i Asimptotika Bezgranichno Delimyh Raspredelenij
A. L. Yakymiv (2006)
Publications de l'Institut Mathématique
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....
-normed topological vector spaces.
Lyudkovskij, S.V. (2000)
Sibirskij Matematicheskij Zhurnal
Similarity:
Calibrating a household survey by using the CALMAR program.
C. Pérez (2008)
Boletín de Estadística e Investigación Operativa. BEIO
Similarity:
Finite hull systems and their implication bases. (Endliche Hüllensysteme und ihre Implikationenbasen.)
König, Roman (2002)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity: