Proof of the law of infinite conjunction using the perfect disjunctive normal form 1

Publisher： Cambridge University Press

E-ISSN： 1943-5886|32|2|196-197

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.32, Iss.2, 1967-08, pp. : 196-197

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

An improved prenex normal form1

By  

The Journal of Symbolic Logic, Vol. 27, Iss. 3, 1962-09 ,pp. : 317-326

Cambridge University Press

Access to resources Recommend Favorite

Strong reduction and normal form in combinatory logic 1

By  

The Journal of Symbolic Logic, Vol. 32, Iss. 2, 1967-08 ,pp. : 213-223

Cambridge University Press

Access to resources Recommend Favorite

A normal form theorem for Lω1p , with applications

By  

The Journal of Symbolic Logic, Vol. 47, Iss. 3, 1982-09 ,pp. : 605-624

Cambridge University Press

Access to resources Recommend Favorite

A result on implications of Σ 1-sentences and its application to normal form theorems

By  

The Journal of Symbolic Logic, Vol. 46, Iss. 3, 1981-09 ,pp. : 634-642

Cambridge University Press

Access to resources Recommend Favorite

A relative consistency proof1

By  

The Journal of Symbolic Logic, Vol. 19, Iss. 1, 1954-03 ,pp. : 21-28

Cambridge University Press

Access to resources Recommend Favorite