Non-deterministic semantics for first-order paraconsistent logics

Anna Zamansky, Arnon Avron

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationProceedings, 10th International Conference on Principles of Knowledge Representation and Reasoning, KR 2006
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages431-439
Number of pages9
ISBN (Print)9781577352716
StatePublished - 2006
Event10th International Conference on Principles of Knowledge Representation and Reasoning, KR 2006 - Lake District, United Kingdom
Duration: 2 Jun 20065 Jun 2006

Publication series

NameProceedings of the International Conference on Knowledge Representation and Reasoning
ISSN (Print)2334-1025
ISSN (Electronic)2334-1033

Conference

Conference10th International Conference on Principles of Knowledge Representation and Reasoning, KR 2006
Country/TerritoryUnited Kingdom
CityLake District
Period2/06/065/06/06

Fingerprint

Dive into the research topics of 'Non-deterministic semantics for first-order paraconsistent logics'. Together they form a unique fingerprint.

Cite this