A New Basis for Classical Propositional Calculus

Logique Et Analyse 79 (79):225-7 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

  • This entry has no external links. Add one.
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 non-independence of axioms in a propositional calculus formulated in terms of axiom schemata.A. J. Dale - 1983 - Logique Et Analyse 26 (1):91.
A note on the intuitionistic and the classical proposition calculus.T. Thacher Robinson - 1960 - Logique Et Analyse 3 (4):174-176.
New Semantics For The Lower Predicate Calculus.Gary Legenhausen - 1985 - Logique Et Analyse 28 (112):317-339.
Using Hilbert's Calculus.B. H. Slater - 1990 - Logique Et Analyse 33 (29):45.
Syllogistic and calculus of classes.I. Tamaki - 1974 - Logique Et Analyse 17 (65):191.
Using Hilbert's Calculus'.B. H. Slater - 1990 - Logique Et Analyse 129 (130):45-67.
Induction and the Calculus of Probabilities.Alfred Jules Ayer - 1968 - Logique Et Analyse 11 (41):95.
S5 and the predicate calculus.J. Porte - 1982 - Logique Et Analyse 25 (99):321.
Hubert Hubien: Iohannis buridani tractatus de consequentiis.A. M. M. Boz De - 1978 - Sapientia 33 (130):316.
A tableau calculus for DRT.Celestin Sedogbo & Michel Eytan - 1988 - Logique Et Analyse 31 (23):379-402.

Analytics

Added to PP
2014-02-10

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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