Certain logical reduction and decision problems
From MaRDI portal
Publication:768102
DOI10.2307/1969974zbMath0074.01403OpenAlexW2334611908MaRDI QIDQ768102
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
Related Items (13)
Succinct definitions in the first order theory of graphs ⋮ An undecidable two sorted predicate calculus ⋮ Indécidabilité de la théorie des paires immédiates de corps valués henseliens ⋮ Modal definability: two commuting equivalence relations ⋮ Monadic Fragments of Gödel Logics: Decidability and Undecidability Results ⋮ Hereditary undecidability of some theories of finite structures ⋮ Elementary intuitionistic theories ⋮ Decidability of some intuitionistic predicate theories ⋮ Sufficient conditions for the undecidability of intuitionistic theories with applications ⋮ On the predicate logics of continuous t-norm BL-algebras ⋮ Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen ⋮ SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability ⋮ Two-dimensional partial orderings: Undecidability
This page was built for publication: Certain logical reduction and decision problems
