Monadic pseudo-equality algebras (Q780197)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 7220720
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Monadic pseudo-equality algebras |
scientific article; zbMATH DE number 7220720 |
Statements
Monadic pseudo-equality algebras (English)
0 references
15 July 2020
0 references
monadic pseudo-equality algebra
0 references
monadic deductive system
0 references
uniform structure
0 references
monadic invariant pseudo-equality logic
0 references
0.8449907898902893
0 references
0.834557831287384
0 references
0.8335710763931274
0 references
0.8335080146789551
0 references
0.8192540407180786
0 references
