Výsledky vyhledávání
- 1.0506928 - ÚI 2020 RIV NL eng J - Článek v odborném periodiku
Galatos, N. - Gil-Férez, José
Modules over quantaloids: Applications to the isomorphism problem in algebraic logic and pi-institutions.
Journal of Pure and Applied Algebra. Roč. 221, č. 1 (2017), s. 1-24. ISSN 0022-4049. E-ISSN 1873-1376
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * isomorphism of logics * pi-institutions * algebra
Obor OECD: Pure mathematics
Impakt faktor: 0.720, rok: 2017
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.jpaa.2016.05.012
Trvalý link: http://hdl.handle.net/11104/0298058 - 2.0461469 - ÚI 2017 RIV US eng J - Článek v odborném periodiku
Suzuki, Tomoyuki
The Distributivity on Bi-Approximation Semantics.
Notre Dame Journal of Formal Logic. Roč. 57, č. 3 (2016), s. 411-430. ISSN 0029-4527. E-ISSN 1939-0726
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: canonicity * lattice-based logics * relational semantics
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.311, rok: 2016
http://projecteuclid.org/euclid.ndjfl/1461157795
Trvalý link: http://hdl.handle.net/11104/0261116 - 3.0454996 - ÚI 2017 RIV NL eng J - Článek v odborném periodiku
Přenosil, Adam
Reductio ad Contradictionem: An Algebraic Perspective.
Studia Logica. Roč. 104, č. 3 (2016), s. 389-415. ISSN 0039-3215. E-ISSN 1572-8730
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: de Morgan algebras * contradiction * reductio ad contradictionem * reductio ad absurdum * four-valued logic * paraconsistent logic * inconsistency * completeness
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.589, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0255654 - 4.0444153 - ÚI 2016 RIV CZ eng J - Článek v odborném periodiku
Kramosil, Ivan - Daniel, Milan
Several Results on Set-Valued Possibilistic Distributions.
Kybernetika. Roč. 51, č. 3 (2015), s. 391-407. ISSN 0023-5954
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: probability measures * possibility measures * non-numerical uncertainty degrees * set-valued uncertainty degrees * possibilistic uncertainty functions * set-valued entropy functions
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.628, rok: 2015
http://dml.cz/handle/10338.dmlcz/144376
Trvalý link: http://hdl.handle.net/11104/0246735Název souboru Staženo Velikost Komentář Verze Přístup Kybernetika_51-2015-3_2.pdf 3 301.4 KB Vydavatelský postprint povolen - 5.0442866 - ÚI 2016 RIV NL eng J - Článek v odborném periodiku
Víta, Martin
A Short Note on t-filters, I-filters and Extended Filters on Residuated Lattices.
Fuzzy Sets and Systems. Roč. 271, 15 July (2015), s. 168-171. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: t-filters * I-filters * extended filters * residuated lattices
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 2.098, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0245682 - 6.0438994 - ÚI 2017 RIV CH eng J - Článek v odborném periodiku
Baldi, Paolo - Terui, K.
Densification of FL Chains via Residuated Frames.
Algebra Universalis. Roč. 75, č. 2 (2016), s. 169-195. ISSN 0002-5240. E-ISSN 1420-8911
Grant CEP: GA ČR GAP202/10/1826
Klíčová slova: densifiability * standard completeness * residuated lattices * residuated frames * fuzzy logic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.625, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0242323Název souboru Staženo Velikost Komentář Verze Přístup 0438994.pdf 1 788.1 KB Autorský preprint vyžádat - 7.0436177 - ÚI 2016 RIV NL eng J - Článek v odborném periodiku
Cintula, Petr
A Note on Axiomatizations of Pavelka-style Complete Fuzzy Logics.
Fuzzy Sets and Systems. Roč. 292, 1 June (2016), s. 160-174. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical fuzzy logic * Pavelka-style completeness * MTL logic * Lukasiewicz logics * Product Logic * truth constants * Monteiro–Baaz delta
Obor OECD: Pure mathematics
Impakt faktor: 2.718, rok: 2016
Trvalý link: http://hdl.handle.net/11104/0239961Název souboru Staženo Velikost Komentář Verze Přístup 0436177.pdf 6 664.8 KB Autorský preprint vyžádat - 8.0435915 - ÚI 2016 RIV US eng J - Článek v odborném periodiku
Chvalovský, Karel
Undecidability of Consequence Relation in Full Non-associative Lambek Calculus.
Journal of Symbolic Logic. Roč. 80, č. 2 (2015), s. 567-586. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * consequence relation * undecidability * tag systems * word problem * rewriting systems
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.510, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0239734Název souboru Staženo Velikost Komentář Verze Přístup a0435915.pdf 5 373.1 KB Vydavatelský postprint vyžádat 0435915.pdf 2 1 MB Autorský preprint vyžádat - 9.0428412 - ÚI 2015 RIV NL eng J - Článek v odborném periodiku
Běhounek, Libor - Bodenhofer, U. - Cintula, Petr - Saminger-Platz, S. - Sarkoci, P.
Graded Dominance and Related Graded Properties of Fuzzy Connectives.
Fuzzy Sets and Systems. Roč. 262, 1 March (2015), s. 78-101. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR GPP103/10/P234; GA ČR GAP202/10/1826
Grant ostatní: WWTF(AT) MA07-016; VEGA(SK) 2/0059/12; APVV(SK) 0073-10; Program Kontakt / WTZ(CZ-AT) 6-07-17/2-2007
Výzkumný záměr: CEZ:AV0Z10300504
Institucionální podpora: RVO:67985807
Klíčová slova: fuzzy connective * fuzzy relation * dominance * fuzzy class theory
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 2.098, rok: 2015
Trvalý link: http://hdl.handle.net/11104/0233778Název souboru Staženo Velikost Komentář Verze Přístup 0428412.pdf 2 913.8 KB Autorský preprint vyžádat - 10.0425358 - ÚI 2015 RIV NL eng J - Článek v odborném periodiku
Víta, Martin
Fuzzy t-filters and their Properties.
Fuzzy Sets and Systems. Roč. 247, 16 July (2014), s. 127-134. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR GAP202/10/1826
Institucionální podpora: RVO:67985807
Klíčová slova: non-classical logics * algebra * fuzzy t-filters * t-filters * fuzzy filters * residuated lattices
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.986, rok: 2014
Trvalý link: http://hdl.handle.net/11104/0231252