Search results
- 1.0524930 - ÚI 2022 RIV CH eng B - Monography
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
R&D Projects: GA ČR GA13-14654S; GA ČR(CZ) GA18-00113S
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : Non-Classical Logics * Algebraic Logic * Abstract Algebraic Logic * Completeness Theorems * Logical Matrices * Weakly Implicative Logics * Substructural Logics * Generalized Disjunctions * Semilinear Logics * First-Order Logics
OECD category: Pure mathematics; Applied mathematics (UTIA-B)
https://link.springer.com/book/9783030856748
Permanent Link: http://hdl.handle.net/11104/0309152File Download Size Commentary Version Access 0524930-errata3.pdf 16 207 KB Errata 9. 8. 2022 Other open-access - 2.0461995 - ÚI 2017 ZA eng A - Abstract
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]
R&D Projects: GA ČR GA13-14654S
Institutional support: RVO:67985807 ; RVO:67985556
Keywords : abstract algebraic logic * protoalgebraic logic * completeness theorems * logical matrices * consequence relation
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0261528File Download Size Commentary Version Access a0461995.pdf 0 172 KB Publisher’s postprint open-access - 3.0342136 - ÚI 2011 RIV DE eng J - Journal Article
Cintula, Petr - Noguera, C.
Implicational (Semilinear) Logics I: A New Hierarchy.
Archive for Mathematical Logic. Roč. 49, č. 4 (2010), s. 417-446. ISSN 0933-5846. E-ISSN 1432-0665
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : abstract algebraic logic * hierarchy of implicational logics * implicative logics * Leibniz hierarchy * linearly ordered logical matrices * mathematical fuzzy logic * non-classical logics * semilinear logics
Subject RIV: BA - General Mathematics
Impact factor: 0.414, year: 2010
Permanent Link: http://hdl.handle.net/11104/0184955File Download Size Commentary Version Access 0342136.pdf 19 1.1 MB Author´s preprint open-access