On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency

E-ISSN： 1943-5886|71|4|1189-1199

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.71, Iss.4, 2006-12, pp. : 1189-1199

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

An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency

The Journal of Symbolic Logic, Vol. 70, Iss. 4, 2005-12 ,pp. : 1171-1209

Cambridge University Press

Access to resources Recommend Favorite

The axiomatization of arithmetic

The Journal of Symbolic Logic, Vol. 22, Iss. 2, 1957-06 ,pp. : 145-158

Cambridge University Press

Access to resources Recommend Favorite

The optimality of induction as an axiomatization of arithmetic ¹

The Journal of Symbolic Logic, Vol. 48, Iss. 1, 1983-03 ,pp. : 182-184

Cambridge University Press

Access to resources Recommend Favorite

Axiomatization of the infinite-valued predicate calculus ¹

The Journal of Symbolic Logic, Vol. 28, Iss. 1, 1963-03 ,pp. : 77-86

Cambridge University Press

Access to resources Recommend Favorite

A note on finite axiomatization of partial propositional calculi

The Journal of Symbolic Logic, Vol. 32, Iss. 3, 1967-10 ,pp. : 352-354

Cambridge University Press

Access to resources Recommend Favorite