Počet záznamů: 1  

Two Notions of Compactness in Gödel Logics

  1. 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/0125434
    Název souboruStaženoVelikostKomentářVerzePřístup
    0405251.pdf9753 KBAutorský preprintpovolen
     

Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.