A glimpse of deductive systems in algebra (Q607435): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.2478/s11533-010-0041-4 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1985606837 / rank | |||
Normal rank |
Revision as of 23:57, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A glimpse of deductive systems in algebra |
scientific article |
Statements
A glimpse of deductive systems in algebra (English)
0 references
22 November 2010
0 references
The concept of deductive systems, introduced by Diego (1965), is an algebraic counterpart of a theory closed under modus ponens, and it has become an important tool in the algebra of logic. The structures occurring in the algebra of logic are usually endowed with an operation \(\rightarrow \), called implication, and the concept of a deductive system makes sense for them. If the structure is also a (semi)lattice, then its deductive systems are usually (semi)lattice filters, and that is why they are sometimes called implicative filters, while the converse may or may not hold. It turns out that whenever deductive systems do not coincide with filters, another concept has been invented which is similar to or stronger than that of a filter and is equivalent to the concept of a deductive systems. The starting point of this paper is the existence of several repetitions in the study of algebras related to logic: certain results have identical formulations for various algebras, such as BL-algebras, MV-algebras, Hilbert algebras and others, while the proofs are very similar. The axiomatization proposed by the authors provides a uniform approach to the problem of determining the relationship between filters and deductive systems in various contexts. They find several simple conditions which ensure either an implication between these concepts or their equivalence. The results imply (most of) the theorems already known in the literature in this respect and a few new ones, and the proofs are direct, without a recourse to the logic described by the algebras under consideration.
0 references
deductive system
0 references
filter
0 references
strong filter
0 references
algebra of logic
0 references
Hilbert algebra
0 references
pre-BCK algebra
0 references