Three Days of Ω-logic( Mathematical Logic and Its Applications)

Annals of the Japan Association for Philosophy of Science 19:57-86 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos.19.0_57

Links

PhilArchive



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

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

Logic as Mathematical Science.Haskell B. Curry - 1963 - Annals of the Japan Association for Philosophy of Science 2 (3):131-143.
Forcing Axioms and Ω-logic.Teruyuki Yorioka - 2009 - Journal of the Japan Association for Philosophy of Science 36 (2):45-52.
Quantum Logic in the Framework of Linear Logic.Akira Oide - 1996 - Annals of the Japan Association for Philosophy of Science 9 (1):35-46.
Logic, Cybernetics and Philosophy.Nobushige Sawada - 1964 - Annals of the Japan Association for Philosophy of Science 2 (4):237-242.
On the Logic of A priori Modalities.Shigeo Nagai & Tokuyuki Okubo - 1980 - Annals of the Japan Association for Philosophy of Science 5 (5):213-223.
Logic of the Empirical World.Satoshi Watanabe - 1974 - Annals of the Japan Association for Philosophy of Science 4 (4):253-270.
The Logic of Factor Analysis.Tarow Indow - 1960 - Annals of the Japan Association for Philosophy of Science 1 (5):313-328.
Nonseparability and Quantum Logic.B. D'espagnat - 1977 - Annals of the Japan Association for Philosophy of Science 5 (2):57-62.
The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996.Yuzuru Kakuda - 1997 - Annals of the Japan Association for Philosophy of Science 9 (2):95-110.
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.

Analytics

Added to PP
2017-08-06

Downloads
36 (#119,765)

6 months
8 (#1,326,708)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Boolean-Valued Second-Order Logic.Daisuke Ikegami & Jouko Väänänen - 2015 - Notre Dame Journal of Formal Logic 56 (1):167-190.

Add more citations

References found in this work

Optimal proofs of determinacy.Itay Neeman - 1995 - Bulletin of Symbolic Logic 1 (3):327-339.

Add more references