Výsledky vyhledávání
- 1.0559061 - ÚI 2023 RIV US eng J - Článek v odborném periodiku
Gispert, J. - Haniková, Zuzana - Moraschini, T. - Stronkowski, Michał
Structural Completeness in Many-Valued Logics with Rational Constants.
Notre Dame Journal of Formal Logic. Roč. 63, č. 3 (2022), s. 261-299. ISSN 0029-4527. E-ISSN 1939-0726
Grant CEP: GA ČR(CZ) GA18-00113S; GA MŠMT(CZ) EF17_050/0008361
Institucionální podpora: RVO:67985807
Klíčová slova: admissible rule * fuzzy logic * Gödel logic * Łukasiewicz logic * product logic * quasivariety * rational Pavelka logic * structural completeness
Obor OECD: Pure mathematics
Impakt faktor: 0.7, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1215/00294527-2022-0021
Trvalý link: https://hdl.handle.net/11104/0332481 - 2.0524632 - MÚ 2021 RIV NL eng J - Článek v odborném periodiku
Jeřábek, Emil
Rules with parameters in modal logic II.
Annals of Pure and Applied Logic. Roč. 171, č. 10 (2020), č. článku 102829. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: admissible rule * computational complexity * equational unification * modal logic
Obor OECD: Pure mathematics
Impakt faktor: 0.678, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2020.102829
Trvalý link: http://hdl.handle.net/11104/0308973Název souboru Staženo Velikost Komentář Verze Přístup Jerabek2.pdf 2 1.1 MB Vydavatelský postprint vyžádat - 3.0504824 - ÚI 2020 RIV GB eng J - Článek v odborném periodiku
Moraschini, Tommaso
Varieties of positive modal algebras and structural completeness.
Review of Symbolic Logic. Roč. 12, č. 3 (2019), s. 557-588. ISSN 1755-0203. E-ISSN 1755-0211
Grant CEP: GA ČR(CZ) GF15-34650L; GA MŠMT(CZ) EF17_050/0008361
Institucionální podpora: RVO:67985807
Klíčová slova: positive modal logic * modal logic * structural completeness * admissible rule * abstract algebraic logic * algebraization of Gentzen systems
Obor OECD: Pure mathematics
Impakt faktor: 0.750, rok: 2019
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1017/S1755020319000236
Trvalý link: http://hdl.handle.net/11104/0296383 - 4.0444112 - MÚ 2016 RIV NL eng J - Článek v odborném periodiku
Jeřábek, Emil
Rules with parameters in modal logic I.
Annals of Pure and Applied Logic. Roč. 166, č. 9 (2015), s. 881-933. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: modal logic * admissible rule * equational unification
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.582, rok: 2015
http://www.sciencedirect.com/science/article/pii/S0168007215000366
Trvalý link: http://hdl.handle.net/11104/0246692Název souboru Staženo Velikost Komentář Verze Přístup Jerabek1.pdf 1 1 MB Vydavatelský postprint vyžádat - 5.0392459 - MÚ 2014 RIV GB eng J - Článek v odborném periodiku
Jeřábek, Emil
The complexity of admissible rules of Łukasiewicz logic.
Journal of Logic and Computation. Roč. 23, č. 3 (2013), s. 693-705. ISSN 0955-792X. E-ISSN 1465-363X
Grant CEP: GA AV ČR IAA100190902; GA AV ČR IAA900090703; GA MŠMT(CZ) 1M0545
Institucionální podpora: RVO:67985840
Klíčová slova: Łukasiewicz logic * admissible rule * bases of admissible rules
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.504, rok: 2013
http://logcom.oxfordjournals.org/content/23/3/693
Trvalý link: http://hdl.handle.net/11104/0221328Název souboru Staženo Velikost Komentář Verze Přístup Jerabek1.pdf 1 226.3 KB Vydavatelský postprint vyžádat - 6.0351058 - MÚ 2011 RIV GB eng J - Článek v odborném periodiku
Jeřábek, Emil
Bases of admissible rules of Łukasiewicz logic.
Journal of Logic and Computation. Roč. 20, č. 6 (2010), s. 1149-1163. ISSN 0955-792X. E-ISSN 1465-363X
Grant CEP: GA AV ČR IAA900090703; GA AV ČR IAA100190902; GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: Łukasiewicz logic * admissible rule * bases of admissible rules
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.586, rok: 2010
http://logcom.oxfordjournals.org/content/20/6/1149
Trvalý link: http://hdl.handle.net/11104/0190892Název souboru Staženo Velikost Komentář Verze Přístup Jerabek3.pdf 4 153.2 KB Vydavatelský postprint vyžádat - 7.0310930 - MÚ 2009 US eng J - Článek v odborném periodiku
Jeřábek, Emil
Independent Bases of Admissible Rules.
[Nezávislé báze přípustných pravidel.]
Logic Journal of the IGPL. Roč. 16, č. 3 (2008), s. 249-267. ISSN 1367-0751. E-ISSN 1368-9894
Grant CEP: GA AV ČR IAA1019401
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: admissible rule * independent basis * modal logic
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.326, rok: 2008
Trvalý link: http://hdl.handle.net/11104/0162665Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 1 223.3 KB Vydavatelský postprint vyžádat