Problem of decidability for some constructive theories of equalities

In A. O. Slisenko, Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 29--31 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

View all bargains

Buy this book

Find it on Amazon.com

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On the decidability of implicational ticket entailment.Katalin Bimbó & J. Michael Dunn - 2013 - Journal of Symbolic Logic 78 (1):214-236.
More on The Decidability of Mereological Theories.Hsing-Chien Tsai - 2011 - Logic and Logical Philosophy 20 (3):251-265.
Decidability of ∀*∀‐Sentences in Membership Theories.Eugenio G. Omodeo, Franco Parlamento & Alberto Policriti - 1996 - Mathematical Logic Quarterly 42 (1):41-58.
Decidability of mereological theories.Hsing-Chien Tsai - 2009 - Logic and Logical Philosophy 18 (1):45-63.
On Skolemization in constructive theories.Matthias Baaz & Rosalie Iemhoff - 2008 - Journal of Symbolic Logic 73 (3):969-998.
Why Egalitarians Should Not Care About Equality.Shlomi Segall - 2012 - Ethical Theory and Moral Practice 15 (4):507 - 519.
Explaining the Unobserved—Why Quantum Mechanics Ain’t Only About Information.Amit Hagar & Meir Hemmo - 2006 - Foundations of Physics 36 (9):1295-1234.
Some reduction classes and undecidable theories.V. A. Lifshits - 1969 - In A. O. Slisenko, Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 24--25.
The Decidability of the $ \forall^*\exists$ Class and the Axiom of Foundation.Dorella Bellè & Franco Parlamento - 2001 - Notre Dame Journal of Formal Logic 42 (1):41-53.

Analytics

Added to PP
2014-01-31

Downloads
36 (#1,462,872)

6 months
10 (#1,127,889)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references