Investigations on a comprehension axiom without negation in the defining propositional functions

Notre Dame Journal of Formal Logic 1 (1-2):13-22 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093956425

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,302

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

Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom.José M. Méndez & Francisco Salto - 1995 - Notre Dame Journal of Formal Logic 36 (3):407-413.
Thoralf A. Skolem. Abstract set theory. Notre Dame mathematical lectures, no. 8, University of Notre Dame, Notre Dame, Indiana, 1962, v + 70 pp. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):680.
Studies on the axiom of comprehension.Th Skolem - 1963 - Notre Dame Journal of Formal Logic 4 (3):162-170.
The Axiom Scheme of Acyclic Comprehension.Zuhair Al-Johar, M. Randall Holmes & Nathan Bowler - 2014 - Notre Dame Journal of Formal Logic 55 (1):11-24.
Three axiom negation-alternation formulations of the truth-functional calculus.George Goe - 1964 - Notre Dame Journal of Formal Logic 5 (2):129-132.
An axiom system for three-valued Ł ukasiewicz propositional calculus.Luisa Iturrioz - 1977 - Notre Dame Journal of Formal Logic 18 (4):616-620.
$\Varepsilon$-calculus based axiom systems for some propositional modal logics.Melvin Fitting - 1972 - Notre Dame Journal of Formal Logic 13 (3):381-384.
On propositional, truth and Boolean functions.Tudor Ristea - 1968 - Notre Dame Journal of Formal Logic 9 (2):160-166.
Propositional functions and families of types.Jan M. Smith - 1989 - Notre Dame Journal of Formal Logic 30 (3):442-458.
An axiom - system for {"K;N"} - propositional calculus related to Simons' axiomatization of S3.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3:206.

Analytics

Added to PP
2010-08-24

Downloads
35 (#678,037)

6 months
7 (#469,699)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Paths to Triviality.Tore Fjetland Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.
Positive abstraction and extensionality.Roland Hinnion & Thierry Libert - 2003 - Journal of Symbolic Logic 68 (3):828-836.
Variations on a Theme of Curry.Lloyd Humberstone - 2006 - Notre Dame Journal of Formal Logic 47 (1):101-131.
On a Comprehension Axiom without Negation.Kanji Namba - 1965 - Annals of the Japan Association for Philosophy of Science 2 (5):258-271.

Add more citations

References found in this work

No references found.

Add more references