Search results
- 1.0342136 - ÚI 2011 RIV DE eng J - Journal Article
Cintula, Petr - Noguera, C.
Implicational (Semilinear) Logics I: A New Hierarchy.
Archive for Mathematical Logic. Roč. 49, č. 4 (2010), s. 417-446. ISSN 0933-5846. E-ISSN 1432-0665
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : abstract algebraic logic * hierarchy of implicational logics * implicative logics * Leibniz hierarchy * linearly ordered logical matrices * mathematical fuzzy logic * non-classical logics * semilinear logics
Subject RIV: BA - General Mathematics
Impact factor: 0.414, year: 2010
Permanent Link: http://hdl.handle.net/11104/0184955File Download Size Commentary Version Access 0342136.pdf 19 1.1 MB Author´s preprint open-access - 2.0323929 - ÚI 2010 RIV NL eng J - Journal Article
Cintula, Petr - Esteva, F. - Gispert, J. - Godo, L. - Montagna, F. - Noguera, C.
Distinguished Algebraic Semantics for t-norm Based Fuzzy Logics: Methods and Algebraic Equivalencies.
[Význačné algebraické sémantiky pro t-normové fuzzy logiky: metody a algebraické ekvivalence.]
Annals of Pure and Applied Logic. Roč. 160, č. 1 (2009), s. 53-81. ISSN 0168-0072. E-ISSN 1873-2461
R&D Projects: GA MŠMT(CZ) 1M0545
Grant - others:MULOG(ES) TIN2007-68005-C04; Spanish Ministry of Education and Science(ES) MTM2004-03101; D.U.R.S.I of Generalitat de Catalunya(ES) 2005SGR; Departament d'Educació i Universitats of the Generalitat de Catalunya(ES) 2006-BP-A-10043
Institutional research plan: CEZ:AV0Z10300504
Keywords : algebraic logic * embedding properties * left-continuous t-norms * mathematical fuzzy logic * residuated lattices * standard completeness
Subject RIV: BA - General Mathematics
Impact factor: 0.667, year: 2009
Permanent Link: http://hdl.handle.net/11104/0171757File Download Size Commentary Version Access 0323929.pdf 3 898.7 KB Author´s preprint open-access - 3.0080342 - ÚI 2008 RIV DE eng J - Journal Article
Horčík, Rostislav - Noguera, C. - Petrík, M.
On n-contractive Fuzzy Logics.
[O n-kontraktivních fuzzy logikách.]
Mathematical Logic Quarterly. Roč. 53, č. 3 (2007), s. 268-288. ISSN 0942-5616. E-ISSN 1521-3870
R&D Projects: GA AV ČR 1ET100300517
Institutional research plan: CEZ:AV0Z10300504
Keywords : algebraic logic * fuzzy logics * generalized contraction * generalized excluded middle * left-continuous t-norms * MTL-algebras * non-classical logics * residuated lattices * standard completeness * substructural logics * varieties * weak cancellation
Subject RIV: BA - General Mathematics
Impact factor: 0.317, year: 2007
Permanent Link: http://hdl.handle.net/11104/0144619 - 4.0045161 - ÚI 2007 RIV GB eng J - Journal Article
Savický, Petr - Cignoli, R. - Esteva, F. - Godo, L. - Noguera, C.
On Product Logic with Truth-Constants.
[O produktové logice s pravdivostními konstantami.]
Journal of Logic and Computation. Roč. 16, č. 2 (2006), s. 205-225. ISSN 0955-792X. E-ISSN 1465-363X
R&D Projects: GA MŠMT 1M0545
Keywords : non-classical logic * fuzzy logic * product logic * truth-constants * standard completeness
Subject RIV: BA - General Mathematics
Impact factor: 0.840, year: 2006
Permanent Link: http://hdl.handle.net/11104/0137779File Download Size Commentary Version Access 0045161.pdf 0 427 KB Author´s preprint open-access