Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F18%3A00488936" target="_blank" >RIV/67985807:_____/18:00488936 - isvavai.cz</a>
Result on the web
<a href="https://link.springer.com/book/10.1007/978-3-319-74772-9" target="_blank" >https://link.springer.com/book/10.1007/978-3-319-74772-9</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-74772-9_2" target="_blank" >10.1007/978-3-319-74772-9_2</a>

Result language
angličtina
Original language name
Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
Original language description
We establish some relations between the class of truth-equational logics, the class of assertional logics, other classes in the Leibniz hierarchy, and the classes in the Frege hierarchy. We argue that the class of assertional logics belongs properly in the Leibniz hierarchy. We give two new characterizations of truth-equational logics in terms of their full generalized models, and use them to obtain further results on the internal structure of the Frege hierarchy and on the relations between the two hierarchies. Some of these results and several counter examples contribute to answer a few open problems in abstract algebraic logic, and open a new one.
Czech name
—
Czech description
—

Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2018
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Book/collection name
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
ISBN
978-3-319-74771-2
Number of pages of the result
27
Pages from-to
53-79
Number of pages of the book
454
Publisher name
Springer
Place of publication
Cham
UT code for WoS chapter
—

Similar results(10)