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)

Other Versions

No versions found

Links

PhilArchive



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

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

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 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
37 (#640,129)

6 months
3 (#1,061,821)

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