Preservation of admissibility of inference rules in the logics similar to S4. 2.
Rybakov, V.V., Rimatskij, V.V. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: