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 “On the Beth property in extension of Lukasiewicz logics.”
Preservation of admissibility of inference rules in the logics similar to S4. 2.
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:
An inheritance criterion for the admissible inference rules of K4.
Rutskij, A.N., Fedorishin, B.R. (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:
-immune sets.
Solon, B.Ya. (2000)
Siberian Mathematical Journal
Similarity:
Dopustimye Funkcii Dlya Konusa i Asimptotika Bezgranichno Delimyh Raspredelenij
A. L. Yakymiv (2006)
Publications de l'Institut Mathématique
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:
On the level spaces of fuzzy topological spaces.
Benchalli, S.S., Siddapur, G.P. (2009)
Bulletin of Mathematical Analysis and Applications [electronic only]
Similarity:
OR and EURO; Where are we going?
A. Tsoukiàs (2007)
Boletín de Estadística e Investigación Operativa. BEIO
Similarity:
Faculty information system based on open source technologies.
Škrbić, Srđan, Bodroški, Žarko, Pupovac, Biljana, Racković, Miloš (2007)
Novi Sad Journal of Mathematics
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:
Implementation of an XML based system for content generation and library catalogue cards display.
Vidaković, Jovana, Racković, Miloš (2007)
Novi Sad Journal of Mathematics
Similarity: