Impossibility of defining the class of \(L_ 0\)-algebras by means of identities (Q1078563): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3914964 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5737076 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On axiom systems of propositional calculi, XIV / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4165379 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3666901 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3342629 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4161371 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 15:09, 17 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Impossibility of defining the class of \(L_ 0\)-algebras by means of identities |
scientific article |
Statements
Impossibility of defining the class of \(L_ 0\)-algebras by means of identities (English)
0 references
1985
0 references
Let \(A=(A,\leq,+,0,1)\) be a commutative partially ordered monoid with 0 as the least and 1 as the greatest element, in which for each a, b there is a smallest c such that \(a\leq b+c\). This c is denoted by a-b. Let the equality \(1-(1-x)=x\) hold in A for all x. It is proved that the structures A do not form an equational class. This class is an algebraic equivalent of classical logic without contraction rule.
0 references
residuated monoid
0 references
commutative partially ordered monoid
0 references
equational class
0 references
classical logic without contraction rule
0 references