John G. Stell

Available identifiers

zbMath Open stell.john-gMaRDI QIDQ299183

List of research outcomes

Publication	Date of Publication	Type
Unique-sort order-sorted theories : A description as monad morphisms	2023-03-09	Paper
Expressing discrete spatial relations under granularity	2021-09-03	Paper
Graphical Partitions and Graphical Relations	2019-05-24	Paper
Axiomatizing discrete spatial relations	2018-11-08	Paper
Ordered information systems and graph granulation	2018-10-22	Paper
https://portal.mardi4nfdi.de/entity/Q4580233	2018-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4636309	2018-04-23	Paper
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics	2017-03-06	Paper
A bi-intuitionistic modal logic: foundations and automation	2016-06-22	Paper
Symmetric Heyting relation algebras with applications to hypergraphs	2015-06-10	Paper
Tableau Development for a Bi-intuitionistic Tense Logic	2014-04-16	Paper
Relations on Hypergraphs	2012-09-21	Paper
Relations between adjacency trees	2011-07-29	Paper
A Framework for Order-Sorted Algebra	2011-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q4929429	2010-09-22	Paper
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic	2009-11-30	Paper
Part and complement: Fundamental concepts in spatial relations	2004-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4412300	2003-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q4709306	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4792736	2003-02-17	Paper
Spatial relations between indeterminate regions	2002-04-21	Paper
Boolean connection algebras: A new approach to the Region-Connection Calculus	2000-10-26	Paper
A boundary-sensitive approach to qualitative location	1999-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q3811680	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3815296	1987-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: John G. Stell