A 3-Valued Approach to Disbelief

Authors: 
Nittka, Alexander
Year: 
2003
Language: 
English
Abstract in English: 
Motivated by the desire to model contraction within a particular belief revision framework, we expand the language of propositional logic by a type of weak negation ('disbelief'). We develop a corresponding logic characterizing its semantics. Further, we indicate difficulties that will arise when trying to axiomatize the logic.
Abstract: 
Es wird eine sprachliche Erweiterung der Aussagenlogik vorgeschlagen. Es handelt sich um eine Art von schwacher Negation ('disbelief'). Eine entsprechende Logik wird entwickelt. Diese wird semantisch charakterisiert. Weiterhin wird auf Schwierigkeiten hingewiesen, die bei der Axiomatisierung auftreten werden.
Pubdate / Erscheinungsdatum: 
2003
Pages / Seitenanzahl: 
90
AttachmentSize
2003-15.pdf682.98 KB