Search results
- 1.0360435 - ÚI 2012 PL eng A - Abstract
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]
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : structural completeness * admissible rules * primitive variety
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0197992 - 2.0323928 - ÚI 2010 RIV US eng J - Journal Article
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
R&D Projects: GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : structral logics * fuzzy logics * structural completeness * admissible rules * primitive variety * residuated lattices
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0171756File Download Size Commentary Version Access 0323928.pdf 5 794.8 KB Author´s preprint open-access