scientific article; zbMATH DE number 5244180

MaRDI QIDQ5446288zbMATH OpenFDO

Authors Anna Zamansky, Arnon Avron

Publication date 6 March 2008

zbMATH Keywords

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

Mathematics Subject Classification ID

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

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

Cited in

(8)

• Computational properties of partial non-deterministic matrices and their logics
• Canonical signed calculi with multi-ary quantifiers
• scientific article; zbMATH DE number 2196614 (Why is no real title available?)
• 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)