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