Peirce's Rule in Natural Deduction

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.275, Iss.1, 2002-03, pp. : 561-574

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

Experiments in linear natural deduction

By Martini S. Masini A.

Theoretical Computer Science, Vol. 176, Iss. 1, 1997-04 ,pp. : 159-173

Elsevier

Access to resources Recommend Favorite

Least and greatest fixed points in intuitionistic natural deduction

By Uustalu

Theoretical Computer Science, Vol. 272, Iss. 1, 2002-02 ,pp. : 315-339

Elsevier

Access to resources Recommend Favorite

Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic

By Polakow J. Pfenning F.

Electronic Notes in Theoretical Computer Science, Vol. 20, Iss. 1, 2004-01 ,pp. : 1-18

Elsevier

Access to resources Recommend Favorite

Intuitionistic and classical natural deduction systems with the catch and the throw rules

By Sato M.

Theoretical Computer Science, Vol. 175, Iss. 1, 1997-03 ,pp. : 75-92

Elsevier

Access to resources Recommend Favorite

Representation and Reference According to Peirce

International Journal of Signs and Semiotic Systems (IJSSS), Vol. 1, Iss. 2, 2011-07 ,pp. : 28-39

IGI Global_journal

Access to resources Recommend Favorite