Sign in
|
Create an account
PhilPapers
PhilPeople
PhilArchive
PhilEvents
PhilJobs
Syntax
Advanced Search
New
All new items
Books
Journal articles
Manuscripts
Topics
All Categories
Metaphysics and Epistemology
Metaphysics and Epistemology
Epistemology
Metaphilosophy
Metaphysics
Philosophy of Action
Philosophy of Language
Philosophy of Mind
Philosophy of Religion
M&E, Misc
Value Theory
Value Theory
Aesthetics
Applied Ethics
Meta-Ethics
Normative Ethics
Philosophy of Gender, Race, and Sexuality
Philosophy of Law
Social and Political Philosophy
Value Theory, Miscellaneous
Science, Logic, and Mathematics
Science, Logic, and Mathematics
Logic and Philosophy of Logic
Philosophy of Biology
Philosophy of Cognitive Science
Philosophy of Computing and Information
Philosophy of Mathematics
Philosophy of Physical Science
Philosophy of Social Science
Philosophy of Probability
General Philosophy of Science
Philosophy of Science, Misc
History of Western Philosophy
History of Western Philosophy
Ancient Greek and Roman Philosophy
Medieval and Renaissance Philosophy
17th/18th Century Philosophy
19th Century Philosophy
20th Century Philosophy
History of Western Philosophy, Misc
Philosophical Traditions
Philosophical Traditions
African/Africana Philosophy
Asian Philosophy
Continental Philosophy
European Philosophy
Philosophy of the Americas
Philosophical Traditions, Miscellaneous
Philosophy, Misc
Philosophy, Misc
Philosophy, Introductions and Anthologies
Philosophy, General Works
Teaching Philosophy
Philosophy, Miscellaneous
Other Academic Areas
Other Academic Areas
Natural Sciences
Social Sciences
Cognitive Sciences
Formal Sciences
Arts and Humanities
Professional Areas
Other Academic Areas, Misc
Journals
Submit material
Submit a book or article
Upload a bibliography
Personal pages we track
Archives we track
Information for publishers
More
Introduction
Discussion forums
Submitting to PhilPapers
Frequently Asked Questions
Subscriptions
Editor's Guide
The Categorization Project
For Publishers
For Archive Admins
Contact us
PhilPapers Surveys
API
Bargain Finder
About PhilPapers
Syntax
Advanced Search
Sign in
Create an account
Syntax
Advanced Search
Switch to: Citations
References in:
Ontology as a Logical System of IS-A Relation
Toshiharu Waragai
Transactions of the Japanese Society for Artificial Intelligence
20:448-460 (
2005
)
Add references
You must
login
to add references.
Order:
Most recent
First author
Export:
Choose a format..
Formatted text
Plain text
BibTeX
Zotero
EndNote
Reference Manager
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.
details
Areas of Mathematics
in
Philosophy of Mathematics
Science, Logic, and Mathematics
Direct download
(3 more)
Export citation
Bookmark
3 citations
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.
details
Proof Theory
in
Logic and Philosophy of Logic
Science, Logic, and Mathematics
Direct download
(3 more)
Export citation
Bookmark
5 citations
Systems of Leśniewski's Ontology with the Functor of Weak Inclusion as the Only Primitive Term.
Czesław Lejewski
-
1977
-
Studia Logica
36 (4):323-349.
details
Logic and Philosophy of Logic
Polish Philosophy
in
European Philosophy
Direct download
(4 more)
Export citation
Bookmark
7 citations
Ontological Burden of Grammatical Categories.
Toshiharu Waragai
-
1979
-
Annals of the Japan Association for Philosophy of Science
5 (4):185-205.
details
Philosophy of Linguistics
in
Philosophy of Language
Science, Logic, and Mathematics
Direct download
(3 more)
Export citation
Bookmark
4 citations
Studies in the Axiomatic Foundations of Boolean Algebra. III.
Czesław Lejewski
-
1961
-
Notre Dame Journal of Formal Logic
2 (2):79-93.
details
Logic and Philosophy of Logic
Nonclassical Logics
in
Logic and Philosophy of Logic
Direct download
(2 more)
Export citation
Bookmark
3 citations
Studies in the Axiomatic Foundations of Boolean Algebra III.
Czesllaw Lejewski
-
1961
-
Notre Dame Journal of Formal Logic
2:79.
details
Logic and Philosophy of Logic
Direct download
Export citation
Bookmark
3 citations
1
loading ..