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

Links

PhilArchive



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

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.
On extensions of intermediate logics by strong negation.Marcus Kracht - 1998 - Journal of Philosophical Logic 27 (1):49-73.
Ultrasheaves and Double Negation.Jonas Eliasson & Steve Awodey - 2004 - Notre Dame Journal of Formal Logic 45 (4):235-245.
An interpretation of martin‐löf's constructive theory of types in elementary topos theory.Anne Preller - 1992 - Mathematical Logic Quarterly 38 (1):213-240.
Simplifying von Plato's axiomatization of Constructive Apartness Geometry.Dafa Li, Peifa Jia & Xinxin Li - 2000 - Annals of Pure and Applied Logic 102 (1-2):1-26.
Structuring Co-constructive Logic for Proofs and Refutations.James Trafford - 2016 - Logica Universalis 10 (1):67-97.
Slaney's logic F is constructive logic with strong negation.M. Spinks & R. Veroff - 2010 - Bulletin of the Section of Logic 39 (3/4):161-173.
A sequent calculus for constructive logic with strong negation as a substructural logic.George Metcalfe - 2009 - Bulletin of the Section of Logic 38 (1/2):1-7.
N-Lattices and Constructive Logic with Strong Negation.H. Rasiowa - 1969 - Journal of Symbolic Logic 34 (1):118-118.
Kripke Completeness of First-Order Constructive Logics with Strong Negation.Ichiro Hasuo & Ryo Kashima - 2003 - Logic Journal of the IGPL 11 (6):615-646.
Constructive Logic with Strong Negation is a Substructural Logic. II.M. Spinks & R. Veroff - 2008 - Studia Logica 89 (3):401-425.
Interpreting Negation: A Semantic Theory of Negation for Standard and Non-Standard Logics.Marjorie Hass - 1993 - Dissertation, University of Illinois at Urbana-Champaign
On Constructible Falsity in the Constructive Logic with Strong Negation.A. Bialynicki-Birula & H. Rasiowa - 1970 - Journal of Symbolic Logic 35 (1):138-138.
Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation.José M. Méndez & Gemma Robles - 2007 - Logic and Logical Philosophy 15 (3):175-191.
Constructive Logic with Strong Negation is a Substructural Logic. I.Matthew Spinks & Robert Veroff - 2008 - Studia Logica 88 (3):325-348.

Analytics

Added to PP
2016-02-04

Downloads
37 (#427,178)

6 months
4 (#783,550)

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.
Topoi. The Categorical Analysis of Logic.Philip J. Scott - 1982 - Journal of Symbolic Logic 47 (2):445-448.

Add more references