scientific article; zbMATH DE number 5244180

zbMATH Open1139.03019MaRDI QIDQ5446288FDOQ5446288

Authors: Anna Zamansky, Arnon Avron 

Publication date: 6 March 2008

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1693040
• Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
• Reasoning with first order nondeterministic specifications
• Non-deterministic semantics for logics with a consistency operator
• Definability by deterministic and non-deterministic programs (with applications to first-order dynamic logic)
• A nondeterministic well-founded semantics
• A hierarchy of semantics for non-deterministic term rewriting systems
• An objectual semantics for first-order LFI1 with an application to free logics
• An effective fixpoint semantics for linear logic programs
• Logic Programming

zbMATH Keywords

many-valued logicparaconsistent logicnondeterministic matricesnondeterministic semanticslogics of formal inconsistencyfinite-valued semantics

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53)

Cited In (8)

• Computational properties of partial non-deterministic matrices and their logics
• Canonical signed calculi with multi-ary quantifiers
• Title not available (Why is that?)
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Taming paraconsistent (and other) logics: an algorithmic approach
• Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency
• On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency
• Two symmetric measurements may cause an unforeseen effect

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5446288)