Constructions and negationless logic

Studia Logica 30 (1):7 - 22 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02120815

Links

PhilArchive



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

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: E. G. K. Lopez-Escobar, On Defining Well-Orderings; E. G. K. Lopez-Escobar, An Addition to "On Defining Well-Orderings.". [REVIEW]Jerome Malitz - 1968 - Journal of Symbolic Logic 33 (1):123-123.
Review: E. G. K. Lopez-Escobar, An Interpolation Theorem for Denumerably Long Formulas; E. G. K. Lopez-Escobar, Universal Formulas in the Infinitary Language $L_{alpha beta}$. [REVIEW]Erwin Engeler - 1969 - Journal of Symbolic Logic 34 (2):301-302.
E. G. K. Lopez-Escobar. On defining well-orderings. Fundamenta mathematicae, vol. 59 , pp. 13–21. - E. G. K. Lopez-Escobar. An addition to “On defining well-orderings.“Fundamenta mathematicae, vol. 59 , pp. 299–300. [REVIEW]Jerome Malitz - 1968 - Journal of Symbolic Logic 33 (1):123.
Review: E. G. K. Lopez-Escobar, A Non-Interpolation Theorem. [REVIEW]H. B. Enderton - 1975 - Journal of Symbolic Logic 40 (3):457-458.
Review: E. G. K. Lopez-Escobar, On a Theorem of J. I. Malitz. [REVIEW]Martin Helling - 1970 - Journal of Symbolic Logic 35 (4):586-586.
Review: E. G. K. Lopez-Escobar, A Complete, Infinitary Axiomatization of Weak Second-Order Logic. [REVIEW]Wolfram Schwabhauser - 1970 - Journal of Symbolic Logic 35 (3):467-467.
E. G. K. Lopez-Escobar. An interpolation theorem for denumerably long formulas. Fundamenta mathematicae, vol. 57 no. 3 (1965), pp. 253–257. - E. G. K. Lopez-Escobar. Universal formulas in the infinitary language L αβ. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 383–388. [REVIEW]E. G. K. Lopez-Escobar - 1969 - Journal of Symbolic Logic 34 (2):301-302.
E. G. K. Lopez-Escobar. A complete, infinitary axiomatization of weak second-order logic. Fundamenta mathematicae, vol. 61 , pp. 93–103. [REVIEW]Wolfram Schwabhäuser - 1970 - Journal of Symbolic Logic 35 (3):467.
E. G. K. Lopez-Escobar. An interpolation theorem for denumerably long formulas. Fundamenta mathematicae, vol. 57 no. 3 (1965), pp. 253–257. - E. G. K. Lopez-Escobar. Universal formulas in the infinitary language L αβ. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 13 (1965), pp. 383–388. [REVIEW]Erwin Engeler - 1969 - Journal of Symbolic Logic 34 (2):301-302.
E. G. K. Lopez-Escobar. On a theorem of J. I. Malitz. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 , pp. 739–743. [REVIEW]Martin Helling - 1970 - Journal of Symbolic Logic 35 (4):586-586.

Analytics

Added to PP
2009-01-28

Downloads
32 (#516,119)

6 months
3 (#1,045,901)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Double Negation as Minimal Negation.Satoru Niki - 2023 - Journal of Logic, Language and Information 32 (5):861-886.
A complete negationless system.David Nelson - 1973 - Studia Logica 32 (1):41 - 49.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Intuitionism: An Introduction.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
Logic: Techniques of Formal Reasoning.Donald Kalish, Richard Montague & Gary Mar - 1964 - New York, NY, USA: Oxford University Press USA. Edited by Richard Montague.
On weak completeness of intuitionistic predicate logic.G. Kreisel - 1962 - Journal of Symbolic Logic 27 (2):139-158.
Non-Null implication.David Nelson - 1966 - Journal of Symbolic Logic 31 (4):562-572.

View all 7 references / Add more references