A glimpse of deductive systems in algebra |
| |
Authors: | Dumitru Bu?neag Sergiu Rudeanu |
| |
Institution: | 1.Faculty of Mathematics and Informatics,University of Craiova,Craiova,Romania;2.Faculty of Mathematics and Informatics,University of Bucharest,Bucharest,Romania |
| |
Abstract: | The concept of a deductive system has been intensively studied in algebraic logic, per se and in connection with various types
of filters. In this paper we introduce an axiomatization which shows how several resembling theorems that had been separately
proved for various algebras of logic can be given unique proofs within this axiomatic framework. We thus recapture theorems
already known in the literature, as well as new ones. As a by-product we introduce the class of pre-BCK algebras. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|