Undecidability of the homogeneous formulas of degree 3 of the predicate calculus
From MaRDI portal
Publication:1220926
DOI10.1007/BF02125281zbMath0315.02045OpenAlexW2321055073MaRDI QIDQ1220926
Publication date: 1968
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02125281
Related Items
On the logic of event-causation. Jaśkowski-style systems of causal logic ⋮ Provability with Finitely Many Variables ⋮ The equational theory of CA3 is undecidable ⋮ The relational model of data and cylindric algebras
Cites Work