scientific article; zbMATH DE number 5244180

zbMATH Open1139.03019MaRDI QIDQ5446288FDOQ5446288

Anna Zamansky, Arnon Avron

Publication date: 6 March 2008

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

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 (4)

• Computational properties of partial non-deterministic matrices and their logics
• Canonical signed calculi with multi-ary quantifiers
• Taming Paraconsistent (and Other) Logics
• Two symmetric measurements may cause an unforeseen effect

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Non-deterministic semantics for logics with a consistency operator 👍 👎
• Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency 👍 👎
• An effective fixpoint semantics for linear logic programs 👍 👎
• Definability by deterministic and non-deterministic programs (with applications to first-order dynamic logic) 👍 👎
• A nondeterministic well-founded semantics 👍 👎
• Logic Programming 👍 👎
• Reasoning with first order nondeterministic specifications 👍 👎
• A Hierarchy of Semantics for Non-deterministic Term Rewriting Systems ∗ 👍 👎

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)