A Method for Constructing Implication Logics

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):267-278 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19660120123

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,070

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 Turquette - 1966 - Mathematical Logic Quarterly 12 (1):267-278.
A Method for Constructing Implication Logics.Atwell R. Turquette - 1968 - Journal of Symbolic Logic 33 (2):308-309.
Review: Atwell R. Turquette, A Method for Constructing Implication Logics. [REVIEW]Storrs McCall - 1968 - Journal of Symbolic Logic 33 (2):308-309.
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.
The number of {□, →}-logics.George F. Schumm - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):517-518.
Simplified Axiom Schemes for Implication and Iterated Implication.John Jones - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (1-6):31-33.
The Representation of Intensional Logics.M. J. Cresswell - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (19):289-298.
The Paraconsistent Logics PJ.Newton C. A. da Costa, V. S. Subrahmanian & Carlo Vago - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):139-148.
Note on Structural Logics.Zbigniew Stachniak - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (19-20):317-320.
Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 71–76. - Akira Nakamura. On the infinitely many-valued threshold logics and von Wright's system M″. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 147–164. - Akira Nakamura. A note on truth-value functions in the infinitely many-valued logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , vol. 9 , pp. 141–144. - Akira Nakamura. On a simple axiomatic system of the infinitely many-valued logic based on ∧, →. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 251–263. - Akira Nakamura. On an axiomatic system of the infinitely many-valued threshold predicate calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 321–239. - Akira Nakamura. Truth-value stipulations for the von Wright system M′ and the He. [REVIEW]Arto Salomaa - 1965 - Journal of Symbolic Logic 30 (3):374-375.

Analytics

Added to PP
2014-01-16

Downloads
25 (#622,666)

6 months
25 (#143,306)

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

Grundlagen der Mathematik.S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (1):16-20.
Logic for Mathematicians.A. Robinson - 1953 - Journal of Symbolic Logic 18 (4):326-327.

Add more references