Quine's Fluted Fragment is Non-Elementary

DOI10.4230/LIPIcs.CSL.2016.39zbMath1370.03019OpenAlexW2555906575MaRDI QIDQ5278428

Wiesław Szwast, Lidia Tendera, Ian Pratt-Hartmann

Publication date: 19 July 2017

Full work available at URL: https://doi.org/10.4230/LIPIcs.CSL.2016.39

zbMATH Keywords

decidabilitysatisfiabilityQuinefluted fragmentnon-elementary problemPurdy

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

The fluted fragment with transitive relations ⋮ THE FLUTED FRAGMENT REVISITED ⋮ The Fluted Fragment with Transitivity

This page was built for publication: Quine's Fluted Fragment is Non-Elementary