Počet záznamů: 1
On the scope of the completeness theorem for first-order predicate logic
- 1.0391878 - ÚI 2014 PT eng A - Abstrakt
Cintula, Petr - Noguera, Carles
On the scope of the completeness theorem for first-order predicate logic.
UNILOG 2013. Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: ECEME - Escola de Comando e Estado-Maior do Exército, 2013 - (Béziau, J.; Buchsbaum, A.; Costa-Leite, A.; Altair, A.). s. 223-223
[UniLog 2013. World Congress and School on Universal Logic /4./. 29.03.2013-07.04.2013, Rio de Janeiro]
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * firts-order logics * Henkin theories * completeness theorem
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0220852
Název souboru Staženo Velikost Komentář Verze Přístup a0391878.pdf 0 397.9 KB Vydavatelský postprint povolen
Počet záznamů: 1