On Constructible Falsity in the Constructive Logic with Strong Negation

&
Journal of Symbolic Logic 35 (1):138-138 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271181

Links

PhilArchive



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

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: A. Bialynicki-Birula, H. Rasiowa, On Constructible Falsity in the Constructive Logic with Strong Negation. [REVIEW]David Nelson - 1970 - Journal of Symbolic Logic 35 (1):138-138.
Extensions of the basic constructive logic for weak consistency BKc1 defined with a falsity constant.Gemma Robles - 2007 - Logic and Logical Philosophy 16 (4):311-322.
Łukasiewicz Negation and Many-Valued Extensions of Constructive Logics.Thomas Macaulay Ferguson - 2014 - In Proc. 44th International Symposium on Multiple-Valued Logic. IEEE Computer Society Press. pp. 121-127.
The Basic Constructive Logic for Absolute Consistency defined with a Propositional Falsity Constant.Gemma Robles - 2008 - Logic Journal of the IGPL 16 (3):275-291.
Topos based semantic for constructive logic with strong negation.Barbara Klunder & B. Klunder - 1992 - Mathematical Logic Quarterly 38 (1):509-519.
Comments On The Logic Of Constructible Falsity.Allen Hazen - 1980 - Bulletin of the Section of Logic 9 (1):10-13.
N-Lattices and Constructive Logic with Strong Negation.H. Rasiowa - 1969 - Journal of Symbolic Logic 34 (1):118-118.
On extensions of intermediate logics by strong negation.Marcus Kracht - 1998 - Journal of Philosophical Logic 27 (1):49-73.
Review: H. Rasiowa, $mathcal{N}$-Lattices and Constructive Logic with Strong Negation. [REVIEW]David Nelson - 1969 - Journal of Symbolic Logic 34 (1):118-118.
The basic constructive logic for negation-consistency defined with a propositional falsity constant.José M. Méndez, Gemma Robles & Francisco Salto - 2007 - Bulletin of the Section of Logic 36 (1-2):45-58.
Partial Up and Down Logic.Jan O. M. Jaspars - 1995 - Notre Dame Journal of Formal Logic 36 (1):134-157.
What is a genuine intuitionistic notion of falsity?Yaroslav Shramko - 2012 - Logic and Logical Philosophy 21 (1):3-23.
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.
Kripke Completeness of First-Order Constructive Logics with Strong Negation.Ichiro Hasuo & Ryo Kashima - 2003 - Logic Journal of the IGPL 11 (6):615-646.

Analytics

Added to PP
2015-02-05

Downloads
3 (#1,682,188)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references