Výsledky vyhledávání
- 1.0405387 - UIVT-O 330759 DE eng J - Článek v odborném periodiku
Horčík, Rostislav
Standard Completeness Theorem for PiMTL.
Archive for Mathematical Logic. Roč. 44, - (2005), s. 413-424. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA ČR GA201/02/1540; GA ČR GD401/03/H047
Grant ostatní: Net CEEPUS SK-042
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.523, rok: 2003
Trvalý link: http://hdl.handle.net/11104/0125558Název souboru Staženo Velikost Komentář Verze Přístup 0405387.pdf 0 418.6 KB Autorský preprint povolen - 2.0405251 - UIVT-O 330485 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr
Two Notions of Compactness in Gödel Logics.
[Dva pojmy kompaktnosti v Gödelových logikách.]
Studia Logica. Roč. 81, č. 1 (2005), s. 99-123. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR GD401/03/H047
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: logic * Gödel logic * compactness * entailment * satisfiability
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0125434Název souboru Staženo Velikost Komentář Verze Přístup 0405251.pdf 9 753 KB Autorský preprint povolen - 3.0405076 - UIVT-O 330181 RIV DE eng J - Článek v odborném periodiku
Cintula, Petr
A Note to the Definition of the LPi-Algebras.
[Poznámka k definici LPi-algeber.]
Soft Computing. Roč. 9, - (2005), s. 575-578. ISSN 1432-7643. E-ISSN 1433-7479
Grant CEP: GA ČR GD401/03/H047
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: LPi-algebras * MV-algebras * Pi-algebras * PMV-algebras
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.538, rok: 2005
Trvalý link: http://hdl.handle.net/11104/0125291Název souboru Staženo Velikost Komentář Verze Přístup 0405076.pdf 1 753 KB Autorský preprint povolen - 4.0048205 - ÚI 2008 NL eng J - Článek v odborném periodiku
Bílková, Marta
Uniform Interpolation and Propositional Quantifiers in Modal Logics.
Studia Logica. Roč. 85 (2007), s. 1-31. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR GD401/03/H047; GA AV ČR IAA1019401
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0138899