Decidability of fluted logic with identity (Q1924331): Difference between revisions

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

zbMATH Keywords

constituents

0 references

fluted formula

0 references

decidability

0 references

satisfiability

0 references

identity

0 references

reviewed by

J. M. Plotkin

0 references

describes a project that uses

ETPS

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1305/ndjfl/1040067318

0 references

0 references

0 references

0 references

0 references

Predicate-functors and the limits of decidability in logic

0 references

Fluted formulas and the limits of decidability

0 references

A LIMIT THEOREM FOR THE GALTON‐WATSON PROCESS WITH IMMIGRATION

0 references

Predicate functors revisited

0 references

Q5797033

0 references

Identifiers

zbMATH Open document ID

0858.03013

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

10.1305/NDJFL/1040067318

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1924331

@@ Property / DOI @@
-.1305/ndjfl/1040067318
@@ Property / DOI: 10.1305/ndjfl/1040067318 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1305/ndjfl/1040067318
+Normal rank
@@ Property / OpenAlex ID @@
+W1976645152
@@ Property / OpenAlex ID: W1976645152 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4726218
@@ Property / cites work: Q4726218 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5682304
@@ Property / cites work: Q5682304 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5666510
@@ Property / cites work: Q5666510 / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate-functors and the limits of decidability in logic
+Normal rank
@@ Property / cites work @@
+Fluted formulas and the limits of decidability
@@ Property / cites work: Fluted formulas and the limits of decidability / rank @@
+Normal rank
@@ Property / cites work @@
+A LIMIT THEOREM FOR THE GALTON‐WATSON PROCESS WITH IMMIGRATION
+Normal rank
@@ Property / cites work @@
+Predicate functors revisited
@@ Property / cites work: Predicate functors revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q5797033
@@ Property / cites work: Q5797033 / rank @@
+Normal rank
@@ Property / DOI @@
+.1305/NDJFL/1040067318
@@ Property / DOI: 10.1305/NDJFL/1040067318 / rank @@
+Normal rank