Decidability of fluted logic with identity (Q1924331)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Publication:1924331 |
scientific article; zbMATH DE number 935228
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Decidability of fluted logic with identity |
scientific article; zbMATH DE number 935228 |
Statements
Decidability of fluted logic with identity (English)
0 references
17 March 1997
0 references
In ``Fluted formulas and the limits of decidability'' [J. Symb. Log. 61, No. 2, 608-620 (1996; see the review above)], the author showed the decidability of the satisfiability problem for fluted formulas. In this paper he extends this decidability result to include identity.
0 references
constituents
0 references
fluted formula
0 references
decidability
0 references
satisfiability
0 references
identity
0 references
0.8219216465950012
0 references
0.7805700898170471
0 references
0.7768954634666443
0 references
0.7638359069824219
0 references
