Studia Logica 91 (1):63 - 111 (2009)
|Abstract||We introduce and study a new approach to the theory of abstract algebraic logic (AAL) that explores the use of many-sorted behavioral logic in the role traditionally played by unsorted equational logic. Our aim is to extend the range of applicability of AAL toward providing a meaningful algebraic counterpart also to logics with a many-sorted language, and possibly including non-truth-functional connectives. The proposed behavioral approach covers logics which are not algebraizable according to the standard approach, while also bringing a new algebraic perspective to logics which are algebraizable using the standard tools of AAL. Furthermore, we pave the way toward a robust behavioral theory of AAL, namely by providing a behavioral version of the Leibniz operator which allows us to generalize the traditional Leibniz hierarchy, as well as several well-known characterization results. A number of meaningful examples will be used to illustrate the novelties and advantages of the approach.|
|Keywords||Abstract algebraic logic many-sorted behavioral logic non-truth-functionality|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Alexej P. Pynko (1995). Algebraic Study of Sette's Maximal Paraconsistent Logic. Studia Logica 54 (1):89 - 128.
Larisa Maksimova (2006). Definability and Interpolation in Non-Classical Logics. Studia Logica 82 (2):271 - 291.
W. J. Blok & Eva Hoogland (2006). The Beth Property in Algebraic Logic. Studia Logica 83 (1-3):49 - 90.
István Németi (1991). Algebraization of Quantifier Logics, an Introductory Overview. Studia Logica 50 (3-4):485 - 569.
Nobu-Yuki Suzuki (1989). An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics. Studia Logica 48 (2):141 - 155.
Janusz Czelakowski & Ramon Jansana (2000). Weakly Algebraizable Logics. Journal of Symbolic Logic 65 (2):641-668.
Josep Maria Font & Miquel Rius (2000). An Abstract Algebraic Logic Approach to Tetravalent Modal Logics. Journal of Symbolic Logic 65 (2):481-518.
Burghard Herrmann (1996). Equivalential and Algebraizable Logics. Studia Logica 57 (2-3):419 - 436.
Burghard Herrmann (1997). Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator. Studia Logica 58 (2):305-323.
Added to index2009-01-28
Total downloads9 ( #122,328 of 722,704 )
Recent downloads (6 months)1 ( #60,247 of 722,704 )
How can I increase my downloads?