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

Journal of Symbolic Logic 32 (2):196-197 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271657

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,518

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A conjunctive normal form for S3.5.M. J. Cresswell - 1969 - Journal of Symbolic Logic 34 (2):253-255.
Herbrand E a silogística ampliada.Frank Thomas Sautter - 2015 - Philósophos - Revista de Filosofia 20 (1):125-144.
On Simplification Algorithms for Disjunctive Normal Forms.E. Mendelson - 1966 - Journal of Symbolic Logic 31 (1):141-141.
Minimizing disjunctive normal forms of pure first-order logic.Timm Lampert - 2017 - Logic Journal of the IGPL 25 (3):325-347.
Foundations of Disjunctive Logic Programming.Jorge Lobo, Jack Minker & Arcot Rajasekar - 1992 - MIT Press.
Normal forms for fuzzy logics: a proof-theoretic approach. [REVIEW]Petr Cintula & George Metcalfe - 2007 - Archive for Mathematical Logic 46 (5-6):347-363.
A proof of the normal form theorem for the closed terms of Girard's system F by means of computability.Silvio Valentini - 1993 - Mathematical Logic Quarterly 39 (1):539-544.
Review: U. I. Zuravlev, On Various Concepts, of Minimality for Disjunctive Normal Forms. [REVIEW]Andrzej Rowicki - 1968 - Journal of Symbolic Logic 33 (4):630-630.
Review: U. I. Zuravlev, Algorithms with Finite Memory on Disjunctive Normal Forms. [REVIEW]Andrzej Rowicki - 1968 - Journal of Symbolic Logic 33 (4):630-630.

Analytics

Added to PP
2009-01-28

Downloads
52 (#422,607)

6 months
20 (#149,843)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

König's Infinity Lemma and Beth's Tree Theorem.George Weaver - 2017 - History and Philosophy of Logic 38 (1):48-56.

Add more citations

References found in this work

No references found.

Add more references