Publisher: Cambridge University Press
E-ISSN: 1943-5886|64|1|99-138
ISSN: 0022-4812
Source: The Journal of Symbolic Logic, Vol.64, Iss.1, 1999-03, pp. : 99-138
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Normal forms for fuzzy logics: a proof-theoretic approach
By Cintula Petr
Archive for Mathematical Logic, Vol. 46, Iss. 5-6, 2007-07 ,pp. :
Simple Gentzenizations for the normal formulae of contraction-less logics
The Journal of Symbolic Logic, Vol. 61, Iss. 4, 1996-12 ,pp. :
The decidability of normal
The Journal of Symbolic Logic, Vol. 46, Iss. 2, 1981-06 ,pp. :
Almost all normal sets are strictly normal
Bulletin of the Australian Mathematical Society, Vol. 69, Iss. 1, 2004-02 ,pp. :