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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,075

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

The normal form is not sufficient.Antonio Quesada - 2001 - Economics and Philosophy 17 (2):235-243.
Proving theorems of the second order Lambek calculus in polynomial time.Erik Aarts - 1994 - Studia Logica 53 (3):373 - 387.
Paraconsistent logics included in Lewis’ S4.Gemma Robles & José M. Méndez - 2010 - Review of Symbolic Logic 3 (3):442-466.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Resolution and the origins of structural reasoning: Early proof-theoretic ideas of Hertz and Gentzen.Peter Schroeder-Heister - 2002 - Bulletin of Symbolic Logic 8 (2):246-265.
An extensive game as a guide for solving a normal game.Ariel Rubinstein - manuscript
An Extensive Game as a Guide for Solving a Normal Game.Jacob Glazer & Ariel Rubinstein - unknown
A recursive nonstandard model of normal open induction.Alessandro Berarducci & Margarita Otero - 1996 - Journal of Symbolic Logic 61 (4):1228-1241.
And so on...: reasoning with infinite diagrams.Solomon Feferman - 2012 - Synthese 186 (1):371 - 386.

Analytics

Added to PP
2009-01-28

Downloads
28 (#570,908)

6 months
9 (#311,219)

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