A Note on the Proof Method for Constructive Falsity

Mathematical Logic Quarterly 37 (2‐4):63-64 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19910370209

Other Versions

reprint Tanka, Kazuyuki (1991) "A Note on the Proof Method for Constructive Falsity". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37(2-4):63-64

Links

PhilArchive



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

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

On the Proof Method for Constructive Falsity.Seiki Akama - 1988 - Mathematical Logic Quarterly 34 (5):385-392.
A Constructive Proof of a Theorem in Relevance Logic.Aleksandar Kron - 1985 - Mathematical Logic Quarterly 31 (25‐28):423-430.
A constructive proof of the Peter-Weyl theorem.B. Spitters & G. Coquand - 2005 - Mathematical Logic Quarterly 51 (4):351.
A note on Bar Induction in Constructive Set Theory.Michael Rathjen - 2006 - Mathematical Logic Quarterly 52 (3):253-258.
A Note on Formalisation by the Method of Description of Truth‐Tables.Alan Rose - 1978 - Mathematical Logic Quarterly 24 (7):109-112.
Co-constructive logic for proofs and refutations.James Trafford - 2014 - Studia Humana 3 (4):22-40.
[Omega]-Bibliography of Mathematical Logic.G. H. Müller, Wolfgang Lenski, Jane E. Kister, D. van Dalen & A. S. Troelstra - 1987
Dual Intuitionistic Logic and a Variety of Negations: The Logic of Scientific Research.Yaroslav Shramko - 2005 - Studia Logica 80 (2-3):347-367.

Analytics

Added to PP
2013-12-01

Downloads
26 (#850,497)

6 months
6 (#854,611)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996.Yuzuru Kakuda, Kanji Namba & Nobuyoshi Motohashi - 1997 - Annals of the Japan Association for Philosophy of Science 9 (2):95-110.

Add more citations

References found in this work

No references found.

Add more references