Reduction of axiom systems with axiom schemes to systems with only simple axioms

Dialectica 12 (3‐4):443-450 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1111/j.1746-8361.1958.tb01474.x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

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

Measurement without archimedean axioms.Louis Narens - 1974 - Philosophy of Science 41 (4):374-393.
The Simplest Axiom System for Hyperbolic Geometry Revisited, Again.Jesse Alama - 2014 - Studia Logica 102 (3):609-615.
On power set in explicit mathematics.Thomas Glass - 1996 - Journal of Symbolic Logic 61 (2):468-489.
Self-verifying axiom systems, the incompleteness theorem and related reflection principles.Dan Willard - 2001 - Journal of Symbolic Logic 66 (2):536-596.
Normative systems and medical metaethics part II: Health-maximizing and persons.Kazem Sadegh-Zadeh - 1981 - Theoretical Medicine and Bioethics 2 (3):343-359.
Axioms for classical, intuitionistic, and paraconsistent hybrid logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
Introduction.Harvey M. Friedman - unknown
Conceptions and paradoxes of sets.G. Aldo Antonelli - 1999 - Philosophia Mathematica 7 (2):136-163.
Axiom schemes for m-valued functional calculi of first order: Part I. definition of axiom schemes and proof of plausibility.J. B. Rosser & A. R. Turquette - 1948 - Journal of Symbolic Logic 13 (4):177-192.
A Note on Relative Efficiency of Axiom Systems.Sandra Fontani, Franco Montagna & Andrea Sorbi - 1994 - Mathematical Logic Quarterly 40 (2):261-272.
The simplest axiom system for plane hyperbolic geometry.Victor Pambuccian - 2004 - Studia Logica 77 (3):385 - 411.
Direct Proofs of Lindenbaum Conditionals.René Gazzari - 2014 - Logica Universalis 8 (3-4):321-343.
Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.

Analytics

Added to PP
2013-11-21

Downloads
16 (#875,539)

6 months
2 (#1,244,653)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references