Simplified Axiom Schemes for Implication and Iterated Implication

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (1-6):31-33 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19850310103

Links

PhilArchive



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

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

A Method for Constructing Implication Logics.Atwell R. Turquette - 1966 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):267-278.
Strict Implication in A Sequence of Extensions of S4.Dolph Ulrich - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (13-14):201-212.
Levels of implication and type free theories of classifications with approximation operator.Andrea Cantini - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):107-141.
A. N. Prior. The theory of implication. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 1–6. - A. N. Prior. The theory of implication: two corrections. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 381–382. - Bolesław Sobociński. A note on Prior's systems in “The theory of deduction.”Notre Dame journal of formal logic, vol. 5 no. 2 , pp. 139–140. [REVIEW]Alan Ross Anderson - 1966 - Journal of Symbolic Logic 31 (4):665-666.
On the iterated ω-rule.Grzegorz Michalski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):203-208.
A Problem on the Axiom of Choice.A. H. Kruse - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):207-218.
Some Observations on the Axiom of Choice.Arthur H. Kruse - 1962 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 8 (2):125-146.
Russell's alternative to the axiom of choice.Norbert Brunner & Paul Howard - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):529-534.
Atwell R. Turquette. A method for constructing implication logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 267–278. [REVIEW]Storrs McCall - 1968 - Journal of Symbolic Logic 33 (2):308-309.
Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras.Franco Montagna - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):293-303.

Analytics

Added to PP
2013-11-03

Downloads
22 (#166,999)

6 months
1 (#1,912,481)

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