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:

  • partial properties - properties p that may have truth-value gaps and truth-value clashes (p is possibly neither true nor false, or both true and false)
  • total properties - properties p that satisfy totalness (p is true or false but possibly both)
  • coherent properties - properties p that satisfy coherence (p cannot be both true and false)
  • classical properties - properties that are total and coherent properties


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

pl/miw/piw08_hekateonto/partial_logic.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0