Partial elementary logic (Q4220135)
From MaRDI portal
!
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 1225459
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Partial elementary logic |
scientific article; zbMATH DE number 1225459 |
Statements
22 November 1998
0 references
partial elementary logic
0 references
partial relations
0 references
cylindric algebras
0 references
0.8419945240020752
0 references
0.7675487399101257
0 references
Partial elementary logic (English)
0 references
The paper extends to partial relations the link existing between classical elementary logic and classical cylindric algebras. The author defines a partial elementary logic system which should provide a basis for the construction of cylindric algebras describing properties of partial relations. This work provides an answer to a problem posed by H. Andréka and I. Németi.
0 references
