Certain logical reduction and decision problems

DOI10.2307/1969974zbMATH Open0074.01403OpenAlexW2334611908MaRDI QIDQ768102FDOQ768102

Authors Hartley jun. Rogers

Publication date 1956

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/1969974

zbMATH Keywords

Philosophy and Foundations of Mathematics

Cited in

(14)

• An undecidable two sorted predicate calculus
• Indécidabilité de la théorie des paires immédiates de corps valués henseliens
• Succinct definitions in the first order theory of graphs
• Decidable and Undecidable Problems for First-Order Definability and Modal Definability
• Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
• SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability
• Two-dimensional partial orderings: Undecidability
• On the predicate logics of continuous t-norm BL-algebras
• Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen
• Elementary intuitionistic theories
• Decidability of some intuitionistic predicate theories
• Sufficient conditions for the undecidability of intuitionistic theories with applications
• Hereditary undecidability of some theories of finite structures
• Modal definability: two commuting equivalence relations

This page was built for publication: Certain logical reduction and decision problems

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