Search results
- 1.0506928 - ÚI 2020 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : abstract algebraic logic * isomorphism of logics * pi-institutions * algebra
OECD category: Pure mathematics
Impact factor: 0.720, year: 2017
Method of publishing: Limited access
http://dx.doi.org/10.1016/j.jpaa.2016.05.012
Permanent Link: http://hdl.handle.net/11104/0298058 - 2.0461469 - ÚI 2017 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : canonicity * lattice-based logics * relational semantics
Subject RIV: BA - General Mathematics
Impact factor: 0.311, year: 2016
http://projecteuclid.org/euclid.ndjfl/1461157795
Permanent Link: http://hdl.handle.net/11104/0261116 - 3.0454996 - ÚI 2017 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : de Morgan algebras * contradiction * reductio ad contradictionem * reductio ad absurdum * four-valued logic * paraconsistent logic * inconsistency * completeness
Subject RIV: BA - General Mathematics
Impact factor: 0.589, year: 2016
Permanent Link: http://hdl.handle.net/11104/0255654 - 4.0444153 - ÚI 2016 RIV CZ eng J - Journal Article
Kramosil, Ivan - Daniel, Milan
Several Results on Set-Valued Possibilistic Distributions.
Kybernetika. Roč. 51, č. 3 (2015), s. 391-407. ISSN 0023-5954
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : probability measures * possibility measures * non-numerical uncertainty degrees * set-valued uncertainty degrees * possibilistic uncertainty functions * set-valued entropy functions
Subject RIV: BA - General Mathematics
Impact factor: 0.628, year: 2015
http://dml.cz/handle/10338.dmlcz/144376
Permanent Link: http://hdl.handle.net/11104/0246735File Download Size Commentary Version Access Kybernetika_51-2015-3_2.pdf 3 301.4 KB Publisher’s postprint open-access - 5.0442866 - ÚI 2016 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : t-filters * I-filters * extended filters * residuated lattices
Subject RIV: BA - General Mathematics
Impact factor: 2.098, year: 2015
Permanent Link: http://hdl.handle.net/11104/0245682 - 6.0438994 - ÚI 2017 RIV CH eng J - Journal Article
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
R&D Projects: GA ČR GAP202/10/1826
Keywords : densifiability * standard completeness * residuated lattices * residuated frames * fuzzy logic
Subject RIV: BA - General Mathematics
Impact factor: 0.625, year: 2016
Permanent Link: http://hdl.handle.net/11104/0242323File Download Size Commentary Version Access 0438994.pdf 1 788.1 KB Author´s preprint require - 7.0436177 - ÚI 2016 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : mathematical fuzzy logic * Pavelka-style completeness * MTL logic * Lukasiewicz logics * Product Logic * truth constants * Monteiro–Baaz delta
OECD category: Pure mathematics
Impact factor: 2.718, year: 2016
Permanent Link: http://hdl.handle.net/11104/0239961File Download Size Commentary Version Access 0436177.pdf 6 664.8 KB Author´s preprint require - 8.0435915 - ÚI 2016 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : substructural logics * consequence relation * undecidability * tag systems * word problem * rewriting systems
Subject RIV: BA - General Mathematics
Impact factor: 0.510, year: 2015
Permanent Link: http://hdl.handle.net/11104/0239734File Download Size Commentary Version Access a0435915.pdf 5 373.1 KB Publisher’s postprint require 0435915.pdf 2 1 MB Author´s preprint require - 9.0428412 - ÚI 2015 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GPP103/10/P234; GA ČR GAP202/10/1826
Grant - others:WWTF(AT) MA07-016; VEGA(SK) 2/0059/12; APVV(SK) 0073-10; Program Kontakt / WTZ(CZ-AT) 6-07-17/2-2007
Institutional research plan: CEZ:AV0Z10300504
Institutional support: RVO:67985807
Keywords : fuzzy connective * fuzzy relation * dominance * fuzzy class theory
Subject RIV: BA - General Mathematics
Impact factor: 2.098, year: 2015
Permanent Link: http://hdl.handle.net/11104/0233778File Download Size Commentary Version Access 0428412.pdf 2 913.8 KB Author´s preprint require - 10.0425358 - ÚI 2015 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GAP202/10/1826
Institutional support: RVO:67985807
Keywords : non-classical logics * algebra * fuzzy t-filters * t-filters * fuzzy filters * residuated lattices
Subject RIV: BA - General Mathematics
Impact factor: 1.986, year: 2014
Permanent Link: http://hdl.handle.net/11104/0231252