Predicate-functors and the limits of decidability in logic

DOI10.1305/NDJFL/1093883255zbMath0416.03014OpenAlexW2043553949MaRDI QIDQ754174

Aris Noah

Publication date: 1980

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093883255

zbMATH Keywords

decidabilitypermutations or recurrences of predicate placespolyadic logicpredicate-functor logicquantificational schemata

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Algebraic logic (03G99) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (9)

Murphree's numerical term logic tableaux ⋮ The completeness of a predicate-functor logic ⋮ Decidability of fluted logic with identity ⋮ Fred Sommers’ Contributions to Formal Logic ⋮ Fluted formulas and the limits of decidability ⋮ The fluted fragment with transitive relations ⋮ THE FLUTED FRAGMENT REVISITED ⋮ Quine's ‘limits of decision’ ⋮ The Fluted Fragment with Transitivity

This page was built for publication: Predicate-functors and the limits of decidability in logic