Equality Logic-Reference-Cited by-同舟云学术

Equality Logic

Published:2020-08-15 Issue: Volume: Page:
ISSN:2449-836X
Container-title:Bulletin of the Section of Logic
language:
Short-container-title:B Sect Log

Author:

Ghorbani Shokoofeh^ORCID

Abstract

Abstract: In this paper, we introduce and study a corresponding logic toequality-algebras and obtain some basic properties of this logic. We provethe soundness and completeness of this logic based on equality-algebrasand local deduction theorem. Then we introduce the concept of (prelinear)equality-algebras and investigate some related properties. Also, westudy -deductive systems of equality-algebras. In particular, we provethat every prelinear equality-algebra is a subdirect product of linearly orderedequality-algebras. Finally, we construct prelinear equality logicand prove the soundness and strong completeness of this logic respect toprelinear equality-algebras.

Publisher

Uniwersytet Lodzki (University of Lodz)

Subject

Logic,Philosophy

Reference23 articles.

[1] W. J. Blok, D. Pigozzi, Algebraizable logics, vol. 77, American Mathematical Society (1989), DOI: http://dx.doi.org/10.1090/memo/0396.

[2] W. J. Blok, D. Pigozzi, Abstract algebraic logic and the deduction theorem (2001), URL: https://orion.math.iastate.edu/dpigozzi/papers/aaldedth.pdf.

[3] R. Borzooei, F. Zebardast, M. Aaly Kologani, Some types of filters in equality algebras, Categories and General Algebraic Structures with Applications, vol. 7(Special Issue on the Occasion of Banaschewski’s 90th Birthday (II)) (2017), pp. 33–55, DOI: http://dx.doi.org/10.1007/s00500-005-0534-4.

[4] R. A. Borzooei, M. Zarean, O. Zahiri, Involutive equality algebras, Soft Computing, vol. 22(22) (2018), pp. 7505–7517, DOI: http://dx.doi.org/10.1007/s00500-018-3032-1.

[5] J. R. Büchi, T. M. Owens, Skolem rings and their varieties, [in:] The Collected Works of J. Richard Büchi, Springer (1990), pp. 161–221, DOI: http://dx.doi.org/10.1007/978-1-4613-8928-6-11.