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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

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 (3):323-344.
Semi-intuitionistic Logic with Strong Negation.Juan Manuel Cornejo & Ignacio Viglizzo - 2018 - Studia Logica 106 (2):281-293.
Discrete Duality for Nelson Algebras with Tense Operators.Aldo V. Figallo, Gustavo Pelaitay & Jonathan Sarmiento - 2023 - Studia Logica 111 (1):1-19.
A negationless interpretation of intuitionistic theories. II.Victor N. Krivtsov - 2000 - Studia Logica 65 (2):155-179.
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.
Complete rings of sets and sentential logic.Melven R. Krom - 1977 - Studia Logica 36 (3):173 - 175.
An Algebraic Study of Tense Operators on Nelson Algebras.A. V. Figallo, G. Pelaitay & J. Sarmiento - 2020 - Studia Logica 109 (2):285-312.

Analytics

Added to PP
2009-01-28

Downloads
47 (#469,173)

6 months
12 (#296,635)

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.Arend 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.
Intuitionistic logic, model theory and forcing.Melvin Fitting - 1969 - Amsterdam,: North-Holland Pub. Co..

View all 12 references / Add more references