Quine's Fluted Fragment is Non-Elementary
From MaRDI portal
Publication:5278428
DOI10.4230/LIPIcs.CSL.2016.39zbMath1370.03019MaRDI 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
68Q25: Analysis of algorithms and problem complexity
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
THE FLUTED FRAGMENT REVISITED, The Fluted Fragment with Transitivity, The fluted fragment with transitive relations