Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
From MaRDI portal
(Redirected from Publication:1931353)
Recommendations
Cites work
- \({\mathcal E}\)-connections of abstract description systems
- A categorical manifesto
- A formulation of the simple theory of types
- A four-valued semantics for terminological logics
- A Logic for Concepts and Similarity
- A modal logic framework for reasoning about comparative distances and topology
- A survey of temporal extensions of description logics
- Allgemeine Logische und Mathematische Theorien
- An epistemic operator for description logics
- An introduction to non-classical logic
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- Composition of default specifications
- Connecting many-sorted theories
- Counterparts in language and space. Similarity and S-connection
- Cut elimination in coalgebraic logics
- Data, Schema, Ontology and Logic Integration
- Der Aussagenkalkül und die Topologie
- Development graphs -- proof management for structured specifications
- Expressive probabilistic description logics
- First-order modal logic
- Formal Properties of Modularisation
- Grothendieck institutions
- HasCasl: integrated higher-order specification and program development
- Heterogeneous Logical Environments for Distributed Specifications
- Hilbert's program relativized; Proof-theoretical and foundational reductions
- scientific article; zbMATH DE number 1617310 (Why is no real title available?)
- scientific article; zbMATH DE number 4130339 (Why is no real title available?)
- scientific article; zbMATH DE number 3837407 (Why is no real title available?)
- scientific article; zbMATH DE number 3135370 (Why is no real title available?)
- scientific article; zbMATH DE number 3864486 (Why is no real title available?)
- scientific article; zbMATH DE number 4053069 (Why is no real title available?)
- scientific article; zbMATH DE number 3181472 (Why is no real title available?)
- scientific article; zbMATH DE number 43479 (Why is no real title available?)
- scientific article; zbMATH DE number 3467028 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1219632 (Why is no real title available?)
- scientific article; zbMATH DE number 1324839 (Why is no real title available?)
- scientific article; zbMATH DE number 1329029 (Why is no real title available?)
- scientific article; zbMATH DE number 1734464 (Why is no real title available?)
- scientific article; zbMATH DE number 979859 (Why is no real title available?)
- scientific article; zbMATH DE number 1135526 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- scientific article; zbMATH DE number 1947740 (Why is no real title available?)
- scientific article; zbMATH DE number 1948207 (Why is no real title available?)
- scientific article; zbMATH DE number 2070200 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 1929971 (Why is no real title available?)
- scientific article; zbMATH DE number 1832239 (Why is no real title available?)
- scientific article; zbMATH DE number 877746 (Why is no real title available?)
- scientific article; zbMATH DE number 3349804 (Why is no real title available?)
- scientific article; zbMATH DE number 2241919 (Why is no real title available?)
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
- Institution morphisms
- Institution-independent model theory
- Institutional 2-cells and Grothendieck Institutions
- Institutions: abstract model theory for specification and programming
- Journal on Data Semantics I
- Logical dynamics meets logical pluralism?
- Logical pluralism
- Logical pluralism Hollandaise. Comment on: ``Logical dynamics meets logical pluralism?
- Many-dimensional modal logics: theory and applications
- Mathematical Logic for Life Science Ontologies
- Modal Logics of Topological Relations
- Modular reuse of ontologies: theory and practice
- Multi-dimensional modal logic
- Notes on logics of metric spaces
- Ontology Integration Using ε-Connections
- Qualitative spatial representation and reasoning: An overview
- Under Carnap's lamp: flat pre-semantics
- What is a logic translation?
- « Everywhere » and « here »
- Über Theorien im erweiterten Sinne
Cited in
(8)- Towards a functional approach to modular ontologies using institutions
- Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention
- Query inseparability for \(\mathcal{ALC}\) ontologies
- Towards resolution-based reasoning for connected logics
- Inseparability and conservative extensions of description logic ontologies: a survey
- Formal modelling for cooking assistance
- The distributed ontology, modeling and specification language -- DOL
- Proof complexity of non-classical logics
This page was built for publication: Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1931353)
