Predicate-functors and the limits of decidability in logic

DOI10.1305/NDJFL/1093883255MaRDI QIDQ754174zbMATH OpenOpenAlexFDO

Authors 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

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

Cited in

(10)

• Decidability of fluted logic with identity
• Murphree's numerical term logic tableaux
• The fluted fragment with transitive relations
• Fred Sommers' contributions to formal logic
• The completeness of a predicate-functor logic
• Fluted formulas and the limits of decidability
• Quine's ‘limits of decision’
• The Fluted Fragment with Transitivity
• The fluted fragment revisited
• Syllogistic relevance and term logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q754174)