Institute of Information Theory and Automation

You are here

Home

Bibliography

GA13-14654S

  1. Cintula Petr, Noguera Carles :  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
  2. Cintula Petr, Horčík Rostislav, Noguera Carles :  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

  1. Cintula Petr, Noguera Carles :  Implicational (semilinear) logics III: completeness properties , Archive for Mathematical Logic vol.57, p. 391-420 [2018] DOI: 10.1007/s00153-017-0577-0
  2. Lávička Tomáš, Noguera Carles :  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
  3. Dellunde P., García-Cerdaña A., Noguera Carles :  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
  4. Cintula Petr, Noguera Carles :  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
  5. Cintula Petr, Noguera Carles :  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
  6. Cintula Petr, Noguera Carles :  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

  1. Lávička Tomáš, Noguera Carles :  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]
  2. Cintula Petr, Noguera Carles :  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]
  3. Cintula Petr, Noguera Carles :  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]
2019-01-07 08:39
Institute of Information Theory and Automation