Search results
- 1.0559061 - ÚI 2023 RIV US eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA18-00113S; GA MŠMT(CZ) EF17_050/0008361
Institutional support: RVO:67985807
Keywords : admissible rule * fuzzy logic * Gödel logic * Łukasiewicz logic * product logic * quasivariety * rational Pavelka logic * structural completeness
OECD category: Pure mathematics
Impact factor: 0.7, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1215/00294527-2022-0021
Permanent Link: https://hdl.handle.net/11104/0332481 - 2.0524632 - MÚ 2021 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA19-05497S
Institutional support: RVO:67985840
Keywords : admissible rule * computational complexity * equational unification * modal logic
OECD category: Pure mathematics
Impact factor: 0.678, year: 2020
Method of publishing: Limited access
https://doi.org/10.1016/j.apal.2020.102829
Permanent Link: http://hdl.handle.net/11104/0308973File Download Size Commentary Version Access Jerabek2.pdf 2 1.1 MB Publisher’s postprint require - 3.0504824 - ÚI 2020 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GF15-34650L; GA MŠMT(CZ) EF17_050/0008361
Institutional support: RVO:67985807
Keywords : positive modal logic * modal logic * structural completeness * admissible rule * abstract algebraic logic * algebraization of Gentzen systems
OECD category: Pure mathematics
Impact factor: 0.750, year: 2019
Method of publishing: Limited access
http://dx.doi.org/10.1017/S1755020319000236
Permanent Link: http://hdl.handle.net/11104/0296383 - 4.0444112 - MÚ 2016 RIV NL eng J - Journal Article
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
R&D Projects: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
Institutional support: RVO:67985840
Keywords : modal logic * admissible rule * equational unification
Subject RIV: BA - General Mathematics
Impact factor: 0.582, year: 2015
http://www.sciencedirect.com/science/article/pii/S0168007215000366
Permanent Link: http://hdl.handle.net/11104/0246692File Download Size Commentary Version Access Jerabek1.pdf 1 1 MB Publisher’s postprint require - 5.0392459 - MÚ 2014 RIV GB eng J - Journal Article
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
R&D Projects: GA AV ČR IAA100190902; GA AV ČR IAA900090703; GA MŠMT(CZ) 1M0545
Institutional support: RVO:67985840
Keywords : Łukasiewicz logic * admissible rule * bases of admissible rules
Subject RIV: BA - General Mathematics
Impact factor: 0.504, year: 2013
http://logcom.oxfordjournals.org/content/23/3/693
Permanent Link: http://hdl.handle.net/11104/0221328File Download Size Commentary Version Access Jerabek1.pdf 1 226.3 KB Publisher’s postprint require - 6.0351058 - MÚ 2011 RIV GB eng J - Journal Article
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
R&D Projects: GA AV ČR IAA900090703; GA AV ČR IAA100190902; GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10190503
Keywords : Łukasiewicz logic * admissible rule * bases of admissible rules
Subject RIV: BA - General Mathematics
Impact factor: 0.586, year: 2010
http://logcom.oxfordjournals.org/content/20/6/1149
Permanent Link: http://hdl.handle.net/11104/0190892File Download Size Commentary Version Access Jerabek3.pdf 4 153.2 KB Publisher’s postprint require - 7.0310930 - MÚ 2009 US eng J - Journal Article
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
R&D Projects: GA AV ČR IAA1019401
Institutional research plan: CEZ:AV0Z10190503
Keywords : admissible rule * independent basis * modal logic
Subject RIV: BA - General Mathematics
Impact factor: 0.326, year: 2008
Permanent Link: http://hdl.handle.net/11104/0162665File Download Size Commentary Version Access Jerabek.pdf 1 223.3 KB Publisher’s postprint require