Ontology as a natural extension of predicate calculus with identity equipped with description

Annals of the Japan Association for Philosophy of Science 7 (5):23-40 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos1956.7.233

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,703

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

Intuitionistic Predicate Calculus with ^|^epsilon;-Symbol.Kokio Shirai - 1971 - Annals of the Japan Association for Philosophy of Science 4 (1):49-67.
Ontology Based on Non-reflexive Identity and Product Name Functor.Toshiharu Waragai - 1987 - Annals of the Japan Association for Philosophy of Science 7 (2):73-84.
A system of ontology based on identity and partial ordering as an adequate logical apparatus for describing taxonomical structures of concepts.Toshiharu Waragai & Keiichi Oyamada - 2007 - Annals of the Japan Association for Philosophy of Science 15 (2):123-149.
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.
On Arithmetical Extension Operators.Kanji Namba - 1970 - Annals of the Japan Association for Philosophy of Science 3 (5):216-230.
Cut-eliminability in Second Order Logic Calculus.Toshiyasu Arai - 2018 - Annals of the Japan Association for Philosophy of Science 27:45-60.
An Extension of the Craig-Sch^|^uuml;tte Interpolation Theorem.Takashi Nagashima - 1966 - Annals of the Japan Association for Philosophy of Science 3 (1):12-18.
Mereological Ontology and Dynamic Semantics.Yasuo Nakayama - 1999 - Annals of the Japan Association for Philosophy of Science 9 (4):193-206.

Analytics

Added to PP
2014-04-06

Downloads
42 (#577,599)

6 months
7 (#573,527)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mereological Ontology and Dynamic Semantics.Yasuo Nakayama - 1999 - Annals of the Japan Association for Philosophy of Science 9 (4):193-206.
IS-A relation, the principle of comprehension and the doctrine of limitation of size.Toshiharu Waragai - 1996 - Annals of the Japan Association for Philosophy of Science 9 (1):23-34.

Add more citations

References found in this work

What is Russell's Theory of Descriptions?David Kaplan - 1998 - In Andrew D. Irvine, Bertrand Russell: Critical Assessments. New York: Routledge. pp. 277-295.
S. leśniewski's calculus of names.Jerzy Słupecki - 1955 - Studia Logica 3 (1):7-72.
The Logic of Natural Language.G. B. Keene - 1984 - Philosophical Quarterly 34 (135):174-175.
Medieval Logic and Metaphysics.D. P. Henry - 1974 - Mind 83 (332):607-608.

View all 11 references / Add more references