A Very Independent Axiom System

&
Journal of Symbolic Logic 39 (3):604-604 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272913

Links

PhilArchive



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

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

Review: Frank Harary, A Very Independent Axiom System; F Harary, A Measure of Axiomatic Independence. [REVIEW]Donald H. Potts - 1974 - Journal of Symbolic Logic 39 (3):604-604.
The Simplest Axiom System for Plane Hyperbolic Geometry Revisited.Victor Pambuccian - 2011 - Studia Logica 97 (3):347 - 349.
The Simplest Axiom System for Hyperbolic Geometry Revisited, Again.Jesse Alama - 2014 - Studia Logica 102 (3):609-615.
Theorie der Konsequenzoperationen und logische Unabhängigkeit.Christian Wallmann - 2010 - Kriterion - Journal of Philosophy 23 (1):5-23.
The simplest axiom system for plane hyperbolic geometry.Victor Pambuccian - 2004 - Studia Logica 77 (3):385 - 411.
The Ground Axiom.Jonas Reitz - 2007 - Journal of Symbolic Logic 72 (4):1299 - 1317.
Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
Measurement without archimedean axioms.Louis Narens - 1974 - Philosophy of Science 41 (4):374-393.
On Bourbaki’s axiomatic system for set theory.Maribel Anacona, Luis Carlos Arboleda & F. Javier Pérez-Fernández - 2014 - Synthese 191 (17):4069-4098.
A logic road from special relativity to general relativity.Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely - 2012 - Synthese 186 (3):633 - 649.
A Note on Relative Efficiency of Axiom Systems.Sandra Fontani, Franco Montagna & Andrea Sorbi - 1994 - Mathematical Logic Quarterly 40 (2):261-272.
Extending Independent Sets to Bases and the Axiom of Choice.Kyriakos Keremedis - 1998 - Mathematical Logic Quarterly 44 (1):92-98.
On the axiom of union.Greg Oman - 2010 - Archive for Mathematical Logic 49 (3):283-289.
On Axiomatization of Łukasiewicz's Four-Valued Modal Logic.Marcin Tkaczyk - 2011 - Logic and Logical Philosophy 20 (3):215-232.
Pure Proof Theory. Mathematicians are interested in structures. There is only one way to find the theorems of a structure. Start with an axiom system for the structure and deduce the theorems logically. These axiom systems are the objects of proof-theoretical research. Studying axiom systems there is a series of more. [REVIEW]Wolfram Pohlers - 1996 - Bulletin of Symbolic Logic 2 (2):159-188.

Analytics

Added to PP
2015-02-05

Downloads
8 (#1,310,468)

6 months
6 (#509,139)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Explicating Logical Independence.Lloyd Humberstone - 2020 - Journal of Philosophical Logic 49 (1):135-218.

Add more citations

References found in this work

No references found.

Add more references