Decidability of fluted logic with identity
type: Item
instance of: scholarly article
title: Decidability of fluted logic with identity
zbMATH Open document ID: 0858.03013
author: William C. Purdy
published in: Notre Dame Journal of Formal Logic
publication date: 1997-03-17T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 935228
zbMATH Keywords: constituents
zbMATH Keywords: fluted formula
zbMATH Keywords: decidability
zbMATH Keywords: satisfiability
zbMATH Keywords: identity
reviewed by: J. M. Plotkin
describes a project that uses: ETPS
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1040067318
OpenAlex ID: W1976645152
cites work: Q4726218
cites work: Q4052071
cites work: Q5682304
cites work: Q5666510
cites work: Predicate-functors and the limits of decidability in logic
cites work: Fluted formulas and the limits of decidability
cites work: A LIMIT THEOREM FOR THE GALTON‐WATSON PROCESS WITH IMMIGRATION
cites work: Predicate functors revisited
cites work: Q5797033
DOI: 10.1305/NDJFL/1040067318
description: scientific article; zbMATH DE number 935228