Výsledky vyhledávání
- 1.0360435 - ÚI 2012 PL eng A - Abstrakt
Cintula, Petr - Metcalfe, G.
Passive Structural Completeness.
Czterdziesci lat strukturalnej zupełnosci. Wrocław: Uniwersytet Wroclawski, 2011. s. 10-10.
[Forty Years of Structural Completeness. Conference Applications of Logic in Philosophy and Foundations of Mathematics /16./. 09.05.2011-13.05.2011, Szklarska Poreba]
Grant CEP: GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: structural completeness * admissible rules * primitive variety
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0197992 - 2.0323928 - ÚI 2010 RIV US eng J - Článek v odborném periodiku
Cintula, Petr - Metcalfe, G.
Structural Completeness in Fuzzy Logics.
[Strukturální úplnost ve fuzzy logikách.]
Notre Dame Journal of Formal Logic. Roč. 50, č. 2 (2009), s. 153-183. ISSN 0029-4527. E-ISSN 1939-0726
Grant CEP: GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: structral logics * fuzzy logics * structural completeness * admissible rules * primitive variety * residuated lattices
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0171756Název souboru Staženo Velikost Komentář Verze Přístup 0323928.pdf 5 794.8 KB Autorský preprint povolen