Intuitionistic Predicate Calculus with ^|^epsilon;-Symbol

Annals of the Japan Association for Philosophy of Science 4 (1):49-67 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos1956.4.49

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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

Embedding of Modal Predicate Systems into Lower Predicate Calculus.Satoshi Miura - 1983 - Annals of the Japan Association for Philosophy of Science 6 (3):147-160.
Ontology as a natural extension of predicate calculus with identity equipped with description.Toshiharu Waragai - 1990 - Annals of the Japan Association for Philosophy of Science 7 (5):23-40.
Continuous ^|^lambda;-^|^epsilon; Logics.Moto-O. Takahashi - 1970 - Annals of the Japan Association for Philosophy of Science 3 (5):205-215.
Heyting predicate calculus with epsilon symbol.Grigori Efroimovich Mints - 1977 - Journal of Soviet Mathematics 8 (3):317--323.
Intuitionistic Version of the Los-Tarski-Robinson Theorem.Kokio Shirai - 1975 - Annals of the Japan Association for Philosophy of Science 4 (5):323-332.
A Sequent Calculus for the Lesniewskian Modal Logic.Mitio Takano - 1994 - Annals of the Japan Association for Philosophy of Science 8 (4):191-201.
Fixed-point properties for predicate modal logics.Sohei Iwata & Taishi Kurahashi - 2020 - Annals of the Japan Association for Philosophy of Science 29:1-25.
Type Theory and the Theory of Meaning: Towards an Intuitionistic View of Language.Hirofumi Saito - 2006 - Annals of the Japan Association for Philosophy of Science 14 (2):113-121.
Cut elimination for a simple formulation of epsilon calculus.Grigori Mints - 2008 - Annals of Pure and Applied Logic 152 (1):148-160.
Extending the Family of Intuitionistic Many-Valued Logics Introduced by Rousseau.Mitio Takano - 1986 - Annals of the Japan Association for Philosophy of Science 7 (1):47-56.

Analytics

Added to PP
2016-06-30

Downloads
16 (#904,551)

6 months
5 (#837,449)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Epsilon theorems in intermediate logics.Matthias Baaz & Richard Zach - 2022 - Journal of Symbolic Logic 87 (2):682-720.
Interpreting descriptions in intensional type theory.Jesper Carlström - 2005 - Journal of Symbolic Logic 70 (2):488-514.

Add more citations

References found in this work

A General Theory of Completeness Proofs.Sh^|^Ocirc Maehara & Ji - 1970 - Annals of the Japan Association for Philosophy of Science 3 (5):242-256.
A General Theory of Completeness Proofs.Shôji Maehara - 1970 - Annals of the Japan Association for Philosophy of Science 3 (5):242-256.

Add more references