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