A complete negationless system

Studia Logica 32 (1):41 - 49 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02123809

Links

PhilArchive



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

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

Constructions and negationless logic.E. G. K. López-Escobar - 1972 - Studia Logica 30 (1):7 - 22.
A negationless interpretation of intuitionistic theories. I.Victor N. Krivtsov - 2000 - Studia Logica 64 (1-2):323-344.
A Negationless Interpretation of Intuitionistic Theories. I.Victor N. Krivtsov - 2000 - Studia Logica 64 (3):323-344.
Semi-intuitionistic Logic with Strong Negation.Juan Manuel Cornejo & Ignacio Viglizzo - 2018 - Studia Logica 106 (2):281-293.
A negationless interpretation of intuitionistic theories. II.Victor N. Krivtsov - 2000 - Studia Logica 65 (1-2):155-179.
A Negationless Interpretation of Intuitionistic Theories. II.Victor N. Krivtsov - 2000 - Studia Logica 65 (2):155-179.
Discrete Duality for Nelson Algebras with Tense Operators.Aldo V. Figallo, Gustavo Pelaitay & Jonathan Sarmiento - 2023 - Studia Logica 111 (1):1-19.
Semantical analyses of propositional systems of Fitch and Nelson.Richard Routley - 1974 - Studia Logica 33 (3):283 - 298.
A new modal language with the λ operator.Ermanno Bencivenga & Peter W. Woodruff - 1981 - Studia Logica 40 (4):383 - 389.
On the scope of lindenbaum's theorem on complete supersystems.T. Kubiński - 1961 - Studia Logica 12 (1):98-98.

Analytics

Added to PP
2009-01-28

Downloads
35 (#445,023)

6 months
9 (#436,568)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

First-order logic.Raymond Merrill Smullyan - 1968 - New York [etc.]: Springer Verlag.
Intuitionism: An Introduction.Arend Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
Intuitionism.A. Heyting - 1956 - Amsterdam,: North-Holland Pub. Co..
Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions. Amsterdam,: North Holland. pp. 92-130.

View all 15 references / Add more references