Czech
English
Ústav teorie informace a automatizace
Jste zde
Bibliografie
GA13-14654S
- : Logic and Implication: An introduction to the General Algebraic Study of Non-classical Logics, Springer, (Cham 2021) [2021] Download DOI: 10.1007/978-3-030-85675-5
- : The Quest for the Basic Fuzzy Logic , Petr Hájek on Mathematical Fuzzy Logic, p. 245-290 , Eds: Montagna F. [2015] DOI: 10.1007/978-3-319-06233-4_12
- : Implicational (semilinear) logics III: completeness properties , Archive for Mathematical Logic vol.57, p. 391-420 [2018] DOI: 10.1007/s00153-017-0577-0
- : A new hierarchy of infinitary logics in abstract algebraic logic , Studia Logica vol.105, 3 (2017), p. 521-551 [2017] Download DOI: 10.1007/s11225-016-9699-3
- : Löwenheim-Skolem theorems for non-classical first-order algebraizable logics , Logic Journal of the IGPL vol.24, 3 (2016), p. 321-345 [2016] Download DOI: 10.1093/jigpal/jzw009
- : Implicational (Semilinear) Logics II: Additional Connectives and Characterizations of Semilinearity , Archive for Mathematical Logic vol.55, 3 (2016), p. 353-372 [2016] DOI: 10.1007/s00153-015-0452-9
- : A Note on Natural Extensions in Abstract Algebraic Logic , Studia Logica vol.103, 4 (2015), p. 815-823 [2015] DOI: 10.1007/s11225-014-9594-8
- : A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics , Journal of Symbolic Logic vol.80, 1 (2015), p. 341-358 [2015] DOI: 10.1017/jsl.2014.19
- : A New Hierarchy of Infinitary Propositional Logics , LATD 2016 Book of Abstracts, p. 86-88, LATD 2016. Logic, Algebra and Truth Degrees, (Phalaborwa, ZA, 28.06.2016-30.06.2016) [2016]
- : Completeness Properties in Protoalgebraic Logics , LATD 2016 Book of Abstracts, p. 56-58, LATD 2016. Logic, Algebra and Truth Degrees, (Phalaborwa, ZA, 28.06.2016-30.06.2016) [2016]
- : Dense completeness theorem for protoalgebraic logics , Topology, Algebra and Categories in Logic. Booklet of Abstracts, p. 55-57, TACL 2015. Topology, Algebra and Categories in Logic, (Ischia, IT, 21.06.2015-26.06.2015) [2015]