Výsledky vyhledávání
- 1.0524930 - ÚI 2022 RIV CH eng B - Monografie kniha jako celek
Cintula, Petr - Noguera, Carles
Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics.
Cham: Springer, 2021. 465 s. ISBN 978-3-030-85674-8
Grant CEP: GA ČR GA13-14654S; GA ČR(CZ) GA18-00113S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Non-Classical Logics * Algebraic Logic * Abstract Algebraic Logic * Completeness Theorems * Logical Matrices * Weakly Implicative Logics * Substructural Logics * Generalized Disjunctions * Semilinear Logics * First-Order Logics
Obor OECD: Pure mathematics; Applied mathematics (UTIA-B)
https://link.springer.com/book/9783030856748
Trvalý link: http://hdl.handle.net/11104/0309152Název souboru Staženo Velikost Komentář Verze Přístup 0524930-errata3.pdf 17 207 KB Errata 9. 8. 2022 Jiná povolen - 2.0477040 - ÚI 2019 RIV DE eng J - Článek v odborném periodiku
Cintula, Petr - Noguera, Carles
Implicational (semilinear) logics III: completeness properties.
Archive for Mathematical Logic. Roč. 57, 3-4 (2018), s. 391-420. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA ČR GA13-14654S
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: abstract algebraic logic * protoalgebraic logics * implicational logics * disjunctional logics * semilinear logics * non-classical logics * completeness theorems * rational completeness
Obor OECD: Pure mathematics; Pure mathematics (UTIA-B)
Impakt faktor: 0.574, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0273436Název souboru Staženo Velikost Komentář Verze Přístup 0477040.pdf 9 1.2 MB GSp Autorský postprint povolen - 3.0461995 - ÚI 2017 ZA eng A - Abstrakt
Cintula, Petr - Noguera, Carles
Completeness Properties in Protoalgebraic Logics.
LATD 2016 Book of Abstracts. Johannesburg: WITS University, 2016. s. 56-58.
[LATD 2016. Logic, Algebra and Truth Degrees. 28.06.2016-30.06.2016, Phalaborwa]
Grant CEP: GA ČR GA13-14654S
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: abstract algebraic logic * protoalgebraic logic * completeness theorems * logical matrices * consequence relation
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0261528Název souboru Staženo Velikost Komentář Verze Přístup a0461995.pdf 0 172 KB Vydavatelský postprint povolen - 4.0379794 - ÚI 2013 RIV DE eng M - Část monografie knihy
Hájek, Petr
Deductive Systems of Fuzzy Logic.
Proof, Computation and Agency. Logic at the Crossroad. Dordrecht: Springer, 2011 - (van Benthem, J.; Gupta, A.; Parikh, R.), s. 67-78. Synthese Library, 352. ISBN 978-94-007-0079-6
Grant CEP: GA AV ČR IAA100300503
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Mathematical Fuzzy Logic * axiomatic systems * completeness theorems
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0210669