特集テーマ「タイプ理論」について

Kagaku Tetsugaku 53 (2):1 (2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

意識の論理的構造.Michael Richard Starks - 2020 - Las Vegas, NV USA: Reality Press.
人間行動の論理構造.Michael Richard Starks - 2020 - Las Vegas, NV USA: Reality Press.
On a theory of weak implications.Mitsuhiro Okada - 1988 - Journal of Symbolic Logic 53 (1):200-211.
Wittgenstein on Equinumerosity and Surveyability.Mathieu Marion & Mitsuhiro Okada - 2014 - Grazer Philosophische Studien 89 (1):61-78.
Following a Rule: Waismann's Variation.Mathieu Marion & Mitsuhiro Okada - 2019 - In Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter. pp. 359-373.
Following a Rule: Waismann’s Variation.Mathieu Marion & Mitsuhiro Okada - 2019 - In Gabriele Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. Berlin, Boston: De Gruyter. pp. 359-374.
Linear Logic and Intuitionistic Logic.Mitsuhiro Okada - 2004 - Revue Internationale de Philosophie 4:449-481.

Analytics

Added to PP
2021-03-31

Downloads
5 (#1,545,527)

6 months
3 (#984,214)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

The Gotra Theory in the Madhyāntavibhāgaṭīkā.Martin Delhey - 2022 - Journal of Indian Philosophy 50 (1):47-64.

Add more citations

References found in this work

No references found.

Add more references