Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Logic and Logical Philosophy

Authors help

  1. 1 Nenchev V.

Years help

  1. 1 2013

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  quantifier-free fragment
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

Dynamic relational mereotopology: Logics for stable and unstable relations

100%
Nenchev V.
Logic and Logical Philosophy
|
2013
|
vol. 22
|
issue 3
295-325
EN
In this paper we present stable and unstable versions of sev- eral well-known relations from mereotopology: part-of, overlap, underlap and contact. An intuitive semantics is given for the stable and unstable relations, describing them as dynamic counterparts of the base mereotopo- logical 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 Boolean algebras and distributive lattices. Then we present some results about the first-order predicate logic of these relations and about its quantifier-free fragment. Completeness theorems for these logics are proved, the full first-order theory is proved to be hereditary undecidable and the satisfiability problem of the quantifier-free fragment is proved to be NP-complete.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.