A Note On A Subsystem Of Intuitionistic Logic With Constant Domains

Mathematical Logic Quarterly 33 (5):385-387 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19870330502

Other Versions

original Minari, Pierluigi (1987) "A Note on a Subsystem Of Intuitionistic Logic with Constant Domains". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33(5):385-387

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,154

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 Note on a Subsystem Of Intuitionistic Logic with Constant Domains.Pierluigi Minari - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (5):385-387.
A note on the existence property for intuitionistic logic with function symbols.L. M. Doorman - 1990 - Mathematical Logic Quarterly 36 (1):17-21.
Cut‐Elimination Theorem for the Logic of Constant Domains.Ryo Kashima & Tatsuya Shimura - 1994 - Mathematical Logic Quarterly 40 (2):153-172.
A note on dual-intuitionistic logic.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (5):519.
Craig's interpolation theorem for the intuitionistic logic of constant domains.Herman Ruge Jervell - 1971 - [Oslo,: Universitetet i Oslo, Matematisk institutt.
Intuitionistic Logic and Local Mathematical Theories.Yvon Gauthier - 1976 - Mathematical Logic Quarterly 23 (27‐30):411-414.
Embedding Classical Logic in Intuitionistic Logic.John Myhill - 1973 - Mathematical Logic Quarterly 19 (3-6):93-96.
Model Theory for Intuitionistic Logic.Dov M. Gabbay - 1972 - Mathematical Logic Quarterly 18 (4‐6):49-54.

Analytics

Added to PP
2017-02-21

Downloads
3 (#1,852,234)

6 months
2 (#1,810,546)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Pierluigi Minari
Università degli Studi di Firenze

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references