@MISC{Avron_lfiswith, author = {Arnon Avron}, title = {LFIs with Marco’s Schema}, year = {} }
Bookmark
OpenURL
Abstract
abstract. We construct a modular semantic frameworks for LFIs (logics of formal (in)consistency) which extends the framework developed in [1; 3], but includes Marco’s schema too (and so practically all the axioms considered in [11] plus a few more). In addition, the paper provides another demonstration of the power of the idea of nondeterministic semantics, especially when it is combined with the idea of using truth-values to encode relevant data concerning propositions. 1