Search results
- 1.0405387 - UIVT-O 330759 DE eng J - Journal Article
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
R&D Projects: GA ČR GA201/02/1540; GA ČR GD401/03/H047
Grant - others:Net CEEPUS SK-042
Subject RIV: BA - General Mathematics
Impact factor: 0.523, year: 2003
Permanent Link: http://hdl.handle.net/11104/0125558File Download Size Commentary Version Access 0405387.pdf 0 418.6 KB Author´s preprint open-access - 2.0405251 - UIVT-O 330485 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GD401/03/H047
Institutional research plan: CEZ:AV0Z10300504
Keywords : logic * Gödel logic * compactness * entailment * satisfiability
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125434File Download Size Commentary Version Access 0405251.pdf 9 753 KB Author´s preprint open-access - 3.0405076 - UIVT-O 330181 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR GD401/03/H047
Institutional research plan: CEZ:AV0Z10300504
Keywords : LPi-algebras * MV-algebras * Pi-algebras * PMV-algebras
Subject RIV: BA - General Mathematics
Impact factor: 0.538, year: 2005
Permanent Link: http://hdl.handle.net/11104/0125291File Download Size Commentary Version Access 0405076.pdf 1 753 KB Author´s preprint open-access - 4.0048205 - ÚI 2008 NL eng J - Journal Article
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
R&D Projects: GA ČR GD401/03/H047; GA AV ČR IAA1019401
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0138899