Bibliography
247584
- 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 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:
- The Proof by Cases Property and its Variants in Structural Consequence Relations , Studia Logica vol.101, 4 (2013), p. 713-747 [2013] DOI: 10.1007/s11225-013-9496-1:
- Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem , Logic, Language, Information, and Computation, p. 124-136 , Eds: Kohlenbach U., Barceló P., de Queiroz R., WoLLIC 2014. International Conference /21./, (Valparaíso, CL, 01.09.2014-04.09.2014) [2014] DOI: 10.1007/978-3-662-44145-9_9: