A proof-theoretic investigation of a logic of positions

Publisher： Elsevier

ISSN： 0168-0072

Source： Annals of Pure and Applied Logic, Vol.123, Iss.1, 2003-10, pp. : 135-162

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

Related content

A proof-theoretic study of the correspondence of classical logic and modal logic

The Journal of Symbolic Logic, Vol. 68, Iss. 4, 2003-12 ,pp. : 1403-1414

Cambridge University Press

Access to resources Recommend Favorite

A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language

The Journal of Symbolic Logic, Vol. 76, Iss. 2, 2011-06 ,pp. : 673-699

Cambridge University Press

Access to resources Recommend Favorite

Normal forms for fuzzy logics: a proof-theoretic approach

By Cintula Petr

Archive for Mathematical Logic, Vol. 46, Iss. 5-6, 2007-07 ,pp. : 347-363

Springer Publishing Company

Access to resources Recommend Favorite

A proof-theoretic characterization of the primitive recursive set functions

The Journal of Symbolic Logic, Vol. 57, Iss. 3, 1992-09 ,pp. : 954-969

Cambridge University Press

Access to resources Recommend Favorite

The proof-theoretic analysis of 1 1 transfinite dependent choice

By Ruede C.

Annals of Pure and Applied Logic, Vol. 122, Iss. 1, 2003-08 ,pp. : 195-234

Elsevier

Access to resources Recommend Favorite