Some modifications of the Godel translation of classical intuitionictic logic

Bulletin of the Section of Logic 19 (3):84-86 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



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

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

A New Variant Of The Godel-malcev Theorem For The Classical Propositional Calculus.Zdzislaw Dywan - 1985 - Bulletin of the Section of Logic 14 (1):8-12.
Some notes on the superintuitionistic logic of chequered subsets of R∞.Tadeusz Litak - 2004 - Bulletin of the Section of Logic 33 (2):81-86.
Binary functions definable in implicational Gödel algebra.Marek Tokarz - 1974 - Bulletin of the Section of Logic 3 (1):22-24.
On the equivalence between some systems of non-classical logic.E. H. Alves & A. M. Sette - 1996 - Bulletin of the Section of Logic 25:68-72.
A sequent system of the logic r− for Rosser sentences2.Katsumi Sasaki & Shigeo Ohama - 2004 - Bulletin of the Section of Logic 33 (1):11-21.
Tr, te-r, tec-r.Eunsuk Yang - 2002 - Bulletin of the Section of Logic 31 (3):171-181.
Intuitionistic implication in some non-classical modal logics of type s4.Josep M. Font - 1983 - Bulletin of the Section of Logic 12 (1):2-5.
Temporal Gödel-Gentzen and Girard translations.Norihiro Kamide - 2013 - Mathematical Logic Quarterly 59 (1-2):66-83.
A Note on the Godel-Gentzen Translation.Hajime Ishihara - 2000 - Mathematical Logic Quarterly 46 (1):135-138.
Incompleteness of the bibinary semantics for R.J. Michael Dunn - 1987 - Bulletin of the Section of Logic 16 (3):107-109.

Analytics

Added to PP
2014-01-23

Downloads
19 (#1,072,200)

6 months
4 (#1,246,333)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references