A glimpse of deductive systems in algebra (Q607435): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
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 | |||
Property / cites work | |||
Property / cites work: Q5556401 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5532577 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5532570 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lukasiewicz-Moisil algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3755490 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4305851 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5307867 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the lattice of deductive systems of a BL-algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representation and duality for Hilbert algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The lattice of deductive systems on Hilbert algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4792081 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4660204 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4662465 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Distributive implication groupoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5293965 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5519895 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3435234 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4200260 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5692878 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5190972 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4126337 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4876801 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5590080 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boolean filters and positive implicative filters of residuated lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5518340 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5555713 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3932964 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3519700 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algebraic approach to non-classical logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3539342 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3749102 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5389301 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mathematics behind fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4506244 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:43, 3 July 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