First-Order Reasoning and Primitive Recursive Natural Number Notations

ISSN： 0039-3215

Source： Studia Logica, Vol.96, Iss.1, 2010-10, pp. : 49-64

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

Reasoning About Actions and Obligations in First-Order Logic

By Lokhorst G-J.C.

Studia Logica, Vol. 57, Iss. 1, 1996-07 ,pp. : 221-237

Springer Publishing Company

Access to resources Recommend Favorite

Natural Deduction for First-Order Hybrid Logic

By BraÜner Torben

Journal of Logic, Language and Information, Vol. 14, Iss. 2, 2005-03 ,pp. : 173-198

Springer Publishing Company

Access to resources Recommend Favorite

Establishing Connections between Aristotle's Natural Deduction and First-Order Logic

By Andrade Edgar Jose Becerra Edward Samuel

History and Philosophy of Logic, Vol. 29, Iss. 4, 2008-11 ,pp. : 309-325

Taylor & Francis Ltd

Access to resources Recommend Favorite

An Exactification of the Monoid of Primitive Recursive Functions

By Lambek Joachim Scott Philip

Studia Logica, Vol. 81, Iss. 1, 2005-10 ,pp. : 1-18

Springer Publishing Company

Access to resources Recommend Favorite

Idealization in Applied First-Order Logic

By Adams E.W.

Synthese, Vol. 117, Iss. 3, 1998-01 ,pp. : 331-354

Springer Publishing Company

Access to resources Recommend Favorite