scientific article; zbMATH DE number 5244180
From MaRDI portal
Publication:5446288
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
many-valued logicparaconsistent logicnondeterministic matricesnondeterministic semanticslogics of formal inconsistencyfinite-valued semantics
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)