Artykuł w czasopiśmie

Pliki

Golińska-Pilarek_Relational proof systems for spatial reasoning.pdf 345.01 KB

Licencja

CC-BY - Uznanie autorstwa

Relational proof systems for spatial reasoning

DOI

10.3166/jancl.16.409-431

Autor

Golińska-Pilarek Joanna

Orłowska Ewa

ORCID

0000-0001-8546-2615

Data publikacji

Abstrakt (EN)

We present relational proof systems for the four groups of theories of spatial reasoning: contact relation algebras, Boolean algebras with a contact relation, lattice-based spatial theories, spatial theories based on a proximity relation.

Dyscyplina PBN

filozofia

Czasopismo

Journal of Applied Non-Classical Logics

Tom

16

Zeszyt

3-4

Strony od-do

409-431

Link do źródła

https://www.tandfonline.com/doi/abs/10.3166/jancl.16.409-431

Licencja otwartego dostępu

Uznanie autorstwa