Reasoning consistently about inconsistency

Patching et al. and Hinde et al. in their work on truth-space mass assignments, presented a semantic unification function and a semantic separation function for mass assignment logic that dealt with inconsistency. This paper takes these two functions and while preserving the outside inconsistencies...

Full description

Saved in:
Bibliographic Details
Main Authors: Christopher Hinde, Robert S. Patching, Roger Stone, Daniela Xhemali, Stephen A. McCoy
Format: Default Conference proceeding
Published: 2007
Subjects:
Other information and computing sciences not elsewhere classified
untagged
Information and Computing Sciences not elsewhere classified
Online Access:https://hdl.handle.net/2134/4068
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://hdl.handle.net/2134/4068

Similar Items