Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable

Mathematical Logic Quarterly 18 (8-11):113-130 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19720180802

Links

PhilArchive



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

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

Axiom schemes for m-valued propositional calculi.J. B. Rosser & A. R. Turquette - 1945 - Journal of Symbolic Logic 10 (3):61-82.
An application of kripke's completeness theorem for intuitionism to superconstructive propositional calculi.J. G. Anderson - 1969 - Mathematical Logic Quarterly 15 (16‐18):259-288.
Strongly decidable properties of modal and intuitionistic calculi.L. Maksimova - 2000 - Logic Journal of the IGPL 8 (6):797-819.
A. Białynicki-Birula and H. Rasiowa. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 (1958), pp. 287–310. [REVIEW]Gene F. Rose, V. A. Jankov, Sue Walker & Elliott Mendelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
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 - 1950 - Journal of Symbolic Logic 14 (4):259-260.
An application of kripke's completeness theorem for intuitionism to superconstructive propositional calculi.J. G. Anderson - 1969 - Mathematical Logic Quarterly 15 (16-18):259-288.
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.
Rosser J. B. et Turquette A. R.. Axiom schemes for m-valued propositional calculi. [REVIEW]Robert Feys - 1946 - Journal of Symbolic Logic 11 (3):86-89.
Axiom Schemes for M-Valued Propositional Calculi.Robert Feys, J. B. Rosser & A. R. Turquette - 1946 - Journal of Symbolic Logic 11 (3):86.
J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility. The journal of symbolic logic, vol. 13 , pp. 177–192. [REVIEW]Burton Spencer Dreben - 1950 - Journal of Symbolic Logic 14 (4):259-260.
A. Białynicki-Birula and H. Rasiowa. On constructible falsity in the constructive logic with strong negation. Colloquium mathematicum, vol. 6 (1958), pp. 287–310. [REVIEW]V. A. Jankov, Sue Walker & Elliott Mendelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
Algebraiczna semantyka dla nihilistycznych rachunków zdań.Eugeniusz Żabski - 1993 - Filozofia Nauki 4.
Two variable implicational calculi of prescribed many-one degrees of unsolvability.Charles E. Hughes - 1976 - Journal of Symbolic Logic 41 (1):39-44.
Syntactical Treatments of Propositional Attitudes.Michael Morreau & Sarit Kraus - 1998 - Artificial Intelligence 106 (1):161-177.
Maximum Schemes in Arithmetic.A. Fernández-Margarit & M. J. Pérez-Jiménez - 1994 - Mathematical Logic Quarterly 40 (3):425-430.

Analytics

Added to PP
2014-01-16

Downloads
32 (#471,613)

6 months
3 (#880,460)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 15 citations / Add more citations

References found in this work

Add more references