Recent Trends in Algebraic Development Techniques
DOI: 10.1007/978-3-540-71998-4_2
|View full text |Cite
|
Sign up to set email alerts
|

On the Algebraization of Many-Sorted Logics

Abstract: Abstract. The theory of abstract algebraic logic aims at drawing a strong bridge between logic and universal algebra, namely by generalizing the well known connection between classical propositional logic and Boolean algebras. Despite of its successfulness, the current scope of application of the theory is rather limited. Namely, logics with a many-sorted language simply fall out from its scope. Herein, we propose a way to extend the existing theory in order to deal also with many-sorted logics, by capitalizin… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

0
6
0

Publication Types

Select...
3
1
1

Relationship

1
4

Authors

Journals

citations
Cited by 5 publications
(6 citation statements)
references
References 18 publications
0
6
0
Order By: Relevance
“…With respect to many-sortedness, some work has already been presented in [7]. Our aim here is to go further ahead and to capture also logics that are not algebraizable in the standard sense (although they still seem to be sufficiently well behaved to be studied in algebraic terms).…”
Section: Behavioral Algebraizationmentioning
confidence: 99%
See 4 more Smart Citations
“…With respect to many-sortedness, some work has already been presented in [7]. Our aim here is to go further ahead and to capture also logics that are not algebraizable in the standard sense (although they still seem to be sufficiently well behaved to be studied in algebraic terms).…”
Section: Behavioral Algebraizationmentioning
confidence: 99%
“…We know that we have a distinguished sort φ of formulas. In the many-sorted approach to AAL presented in [7] the theory was developed by replacing the role of unsorted equational logic by many-sorted behavioral logic over the same signature and taking the sort φ as the unique visible sort. Despite the success of this generalization to cope with manysorted logics, a lot of non-algebraizable logics could still not be captured.…”
Section: Behavioral Algebraizationmentioning
confidence: 99%
See 3 more Smart Citations