Logics for extended distributive contact lattices
type: Item
instance of: scholarly article
title: Logics for extended distributive contact lattices
zbMATH Open document ID: 1436.03169
DOI: 10.1080/11663081.2017.1373562
author: Tatyana B. Ivanova
published in: Journal of Applied Non-Classical Logics
publication date: 2018-09-17T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 06D05
zbMATH DE Number: 6937678
zbMATH Keywords: mereotopology
zbMATH Keywords: distributive mereotopology
zbMATH Keywords: contact algebras
zbMATH Keywords: extended distributive contact lattices
zbMATH Keywords: spacial logics
zbMATH Keywords: completeness theorems
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.1080/11663081.2017.1373562
OpenAlex ID: W2756978888
cites work: Handbook of Spatial Logics
cites work: Q5445158
cites work: Qualitative spatial representation and reasoning: An overview
cites work: Q3184604
cites work: Q3416080
cites work: Special issue: Qualitative spatial reasoning
cites work: Topological Representation of Contact Lattices
cites work: Distributive contact lattices: topological representations
cites work: A representation theorem for Boolean contact algebras
cites work: Distributive mereotopology: extended distributive contact lattices
cites work: Boolean connection algebras: A new approach to the Region-Connection Calculus
cites work: A Proximity Approach to Some Region-Based Theories of Space
cites work: Q3447202
Recommended article: Q3830999
Recommended article: The logic of distributive nearlattices
Recommended article: On the logic of distributive nearlattices
Recommended article: The logic of distributive bilattices
Recommended article: Q4222960
Recommended article: Selfextensional logics with a distributive nearlattice term
Recommended article: Q4944905
Recommended article: Finite axiomatizability of logics of distributive lattices with negation
Recommended article: Q3199402
Recommended article: Lattice-theoretic properties of algebras of logic
description: scientific article; zbMATH DE number 6937678