Normal forms for fuzzy logics: a proof-theoretic approach

ISSN： 0933-5846

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

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

A proof-theoretic investigation of a logic of positions

By Baratella S. Masini A.

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

Elsevier

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

The proof-theoretic analysis of transfinitely iterated fixed point theories

The Journal of Symbolic Logic, Vol. 64, Iss. 1, 1999-03 ,pp. : 53-67

Cambridge University Press

Access to resources Recommend Favorite

The proof-theoretic analysis of transfinitely iterated quasi least fixed points

The Journal of Symbolic Logic, Vol. 71, Iss. 3, 2006-09 ,pp. : 721-746

Cambridge University Press

Access to resources Recommend Favorite