Decidability of some intuitionistic predicate theories

Publisher： Cambridge University Press

E-ISSN： 1943-5886|37|3|579-587

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.37, Iss.3, 1972-09, pp. : 579-587

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Decidability and undecidability of theories with a predicate for the primes

By  

The Journal of Symbolic Logic, Vol. 58, Iss. 2, 1993-06 ,pp. : 672-687

Cambridge University Press

Access to resources Recommend Favorite

The decidability of dependency in intuitionistic propositional logic

By  

The Journal of Symbolic Logic, Vol. 60, Iss. 2, 1995-06 ,pp. : 498-504

Cambridge University Press

Access to resources Recommend Favorite

On weak completeness of intuitionistic predicate logic

By  

The Journal of Symbolic Logic, Vol. 27, Iss. 2, 1962-06 ,pp. : 139-158

Cambridge University Press

Access to resources Recommend Favorite

Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories

By  

The Journal of Symbolic Logic, Vol. 68, Iss. 1, 2003-03 ,pp. : 262-266

Cambridge University Press

Access to resources Recommend Favorite

Definability and decidability issues in extensions of the integers with the divisibility predicate

By  

The Journal of Symbolic Logic, Vol. 61, Iss. 2, 1996-06 ,pp. : 515-540

Cambridge University Press

Access to resources Recommend Favorite