Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Logics for stable and unstable mereological relations

100%

Nenchev V.

Open Mathematics

2011

tom 9

nr 6

1354-1379

In this paper we present logics about stable and unstable versions of several well-known relations from mereology: part-of, overlap and underlap. An intuitive semantics is given for the stable and unstable relations, describing them as dynamic counterparts of the base mereological relations. Stable relations are described as ones that always hold, while unstable relations hold sometimes. A set of first-order sentences is provided to serve as axioms for the stable and unstable relations, and representation theory is developed in similar fashion to Stone’s representation theory for distributive lattices. First-order predicate logic and modal logic are presented with semantics based on structures with stable and unstable mereological relations. Completeness theorems for these logics are proved, as well as decidability in the case of the modal logic, hereditary undecidability in the case of the first-order logic, and NP-completeness for the satisfiability problem of the quantifier-free fragment of the first-order logic.

Ograniczanie wyników

1 Open Mathematics

1 Nenchev V.

1 2011

Wyniki wyszukiwania

Logics for stable and unstable mereological relations