TY - GEN
T1 - Non-deterministic semantics for first-order paraconsistent logics
AU - Zamansky, Anna
AU - Avron, Arnon
PY - 2006
Y1 - 2006
N2 - Using non-deterministic structures called Nmatrices, we provide simple modular non-deterministic semantics for a large family of first-order paraconsistent logics with a formal consistency operator, also known as LFIs. This includes da-Costa's well known predicate calculus C*1. We show how consistency propagation in quantified formulas is captured in the semantic framework of Nmatrices, and analyze the semantic effects of different styles of propagation considered in the literature of LFIs. Then we demonstrate how the tool of Nmatrices can be applied to prove a non-trivial property of firstorder LFIs discussed in this paper.
AB - Using non-deterministic structures called Nmatrices, we provide simple modular non-deterministic semantics for a large family of first-order paraconsistent logics with a formal consistency operator, also known as LFIs. This includes da-Costa's well known predicate calculus C*1. We show how consistency propagation in quantified formulas is captured in the semantic framework of Nmatrices, and analyze the semantic effects of different styles of propagation considered in the literature of LFIs. Then we demonstrate how the tool of Nmatrices can be applied to prove a non-trivial property of firstorder LFIs discussed in this paper.
UR - http://www.scopus.com/inward/record.url?scp=34548270696&partnerID=8YFLogxK
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:34548270696
SN - 9781577352716
T3 - Proceedings of the International Conference on Knowledge Representation and Reasoning
SP - 431
EP - 439
BT - Proceedings, 10th International Conference on Principles of Knowledge Representation and Reasoning, KR 2006
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 10th International Conference on Principles of Knowledge Representation and Reasoning, KR 2006
Y2 - 2 June 2006 through 5 June 2006
ER -