Spis treści

A few words about Partial Logic

Categories of properties and classes in Partial Logic

In Partial Logic relating weak and strong negation at the interpretation level allows to distinguish 4 categories of properties and classes:

CWA and OWA

Partial Logic supports bot open-world reasoning (OWA - Open World Assumption) and close-world reasoning (CWA - Close World Assumption).