Počet záznamů: 1
Two Notions of Compactness in Gödel Logics
- 1.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
Citováno: 4
--- POURMAHDIAN, M. - TAVANA, N.R. Compactness in first-order Godel logics. JOURNAL OF LOGIC AND COMPUTATION. ISSN 0955-792X, JUN 2013, vol. 23, no. 3, p. 473-485. [WOS]
--- KHATAMI, S.M.A. - POURMAHDIAN, M. ON THE COMPACTNESS PROPERTY OF EXTENSIONS OF FIRST-ORDER GODEL LOGIC. IRANIAN JOURNAL OF FUZZY SYSTEMS. ISSN 1735-0654, AUG 2015, vol. 12, no. 4, p. 101-121. [WOS]
--- Lávička, T. An Abstract Study of Completeness in Infinitary Logics. Prague, 2018. Doctoral Thesis. Charles University, Faculty of Arts. http://hdl.handle.net/20.500.11956/103651
--- IVANIČOVÁ, P. Kompaktnost v neklasických logikách. 2010. Diplomová práce. Univerzita Karlova, Filozofická fakulta, Katedra logiky. http://hdl.handle.net/20.500.11956/26984
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
Počet záznamů: 1