Topos based semantic for constructive logic with strong negation

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):509-519 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19920380146

Other Versions

original Klunder, Barbara; Klunder, B. (1992) "Topos based semantic for constructive logic with strong negation". Mathematical Logic Quarterly 38(1):509-519

Links

PhilArchive



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

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

Topos based semantic for constructive logic with strong negation.Barbara Klunder & B. Klunder - 1992 - Mathematical Logic Quarterly 38 (1):509-519.
Semantic Tableaux for A Logic With Identity.Ermanno Bencivenga - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (16-17):241-247.
Elliott Mendelson. A semantic proof of the eliminability of descriptions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 , pp. 199–200. - T. G. McLaughlin. A muted variation on a theme of Mendelson. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 57–60. [REVIEW]John Bacon - 1973 - Journal of Symbolic Logic 38 (4):660.

Analytics

Added to PP
2016-02-04

Downloads
43 (#525,710)

6 months
3 (#1,491,886)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.

Add more references