Complexity and nicety of fluted logic

DOI10.1023/A:1016596721799zbMath1002.03010OpenAlexW1484845602MaRDI QIDQ1612689

William C. Purdy

Publication date: 26 August 2002

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1016596721799

zbMATH Keywords

complexityinterpolation propertyfirst-order fragmentfluted logicmodel preservation property

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Interpolation, preservation, definability (03C40) 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: Complexity and nicety of fluted logic