Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
From MaRDI portal
Publication:5243398
DOI10.1080/11663081.2019.1668678zbMath1444.03183arXiv1710.05661OpenAlexW2977046078WikidataQ112678606 ScholiaQ112678606MaRDI QIDQ5243398
Publication date: 18 November 2019
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1710.05661
Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in computer science (03B70) Categorical logic, topoi (03G30)
Related Items
Abstract categorical logic ⋮ Morphologic for knowledge dynamics: revision, fusion and abduction ⋮ Morpho-logic from a topos perspective -- application to symbolic AI ⋮ On some associations between mathematical morphology and artificial intelligence
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Does the deduction theorem fail for modal logic?
- Graded consequence: an institution theoretic study
- Duality vs. adjunction for fuzzy mathematical morphology and general form of fuzzy erosions and dilations
- Fuzzy techniques in image processing
- The Spatial Semantic Hierarchy
- Lattice fuzzy transforms from the perspective of mathematical morphology
- Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
- Approximate topological relations
- Interval-valued and intuitionistic fuzzy mathematical morphologies as special cases of \(\mathbb{L}\)-fuzzy mathematical morphology
- Mathematical morphology on bipolar fuzzy sets: general algebraic framework
- \(L\)-fuzzy relational mathematical morphology based on adjoint triples
- Robust similarity between hypergraphs based on valuations and mathematical morphology operators
- Stratified institutions and elementary homomorphisms
- Institutional semantics for many-valued logics
- Institution-independent model theory
- Spatial reasoning under imprecision using fuzzy set theory, formal logics and mathematical morphology
- L-fuzzy sets
- Completeness by Forcing
- Implicit Kripke semantics and ultraproducts in stratified institutions
- Morphology on Graphs and Minimum Spanning Trees
- Proof Systems for Institutional Logic
- Relations Between Spatial Calculi About Directions and Orientations
- Handbook of Spatial Logics
- An Institutional Version of Gödel’s Completeness Theorem
- A ModalWalk Through Space
- Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning
- Axioms for abstract model theory
- Institutions: abstract model theory for specification and programming
- Merging First-Order Knowledge Using Dilation Operators
- The completeness of the first-order functional calculus
