Institute of Information Theory and Automation

You are here

Bibliography

GA13-14654S

  1. Cintula Petr, Horčík Rostislav, Noguera CarlesThe Quest for the Basic Fuzzy Logic , Petr Hájek on Mathematical Fuzzy Logic, p. 245-290 , Eds: Montagna F. [2015]

  1. Cintula Petr, Noguera CarlesImplicational (semilinear) logics III: completeness properties , Archive for Mathematical Logic vol.57, p. 391-420 [2018]
  2. Cintula Petr, Noguera CarlesA Note on Natural Extensions in Abstract Algebraic Logic , Studia Logica vol.103, 4 (2015), p. 815-823 [2015]
  3. Cintula Petr, Noguera CarlesA Henkin-Style Proof of Completeness for First-Order Algebraizable Logics , Journal of Symbolic Logic vol.80, 1 (2015), p. 341-358 [2015]

  1. Lávička Tomáš, Noguera CarlesA 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 CarlesCompleteness 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 CarlesDense 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