BibTeX
@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
Citations
| 36 | A taxonomy of C-systems - Carnielli, Marcos - 2002 |
| 35 | On the theory of inconsistent formal systems, Notre Dame - Costa |
| 28 | Logics of Formal Inconsistency - Carnielli, Coniglio, et al. - 2007 |
| 23 | Canonical propositional Gentzen-type systems - Avron, Lev |
| 22 | Non-deterministic Multiple-valued Structures - Avron, Lev |
| 16 | Non-deterministic Matrices and Modular Semantics of Rules - Avron - 2005 |
| 13 | Non-deterministic Semantics for Logics with a Consistency Operators - Avron |
| 10 | Logical Non-determinism as a Tool for Logical Modularity: An Introduction, in We Will Show Them: Essays in Honor of Dov - Avron - 2005 |
| 7 | An Introduction to Paraconsistent Logics, Peter Lang GmbH - Bremer - 2005 |
| 6 | Possible-translations Semantics for Some Weak Classically-based Paraconsistent Logics - Marcos |
| 3 | 5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mCi - Avron |
