scientific article; zbMATH DE number 5910639

zbMATH Open1279.03033MaRDI QIDQ3007244FDOQ3007244

Arnon Avron

Publication date: 21 June 2011

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

zbMATH Keywords

decidabilitynondeterministic matricesmulti-valued semanticsfinite Nmatricesmodular semantics of rules of inferencenondeterministic operations

Mathematics Subject Classification ID

Many-valued logic (03B50) Abstract deductive systems (03B22)

Cited In (7)

• Canonical signed calculi with multi-ary quantifiers
• Processing Information from a Set of Sources
• Three-Valued Logic for Reasoning about Covering-Based Rough Sets
• Multi-valued semantics: why and how
• Taming Paraconsistent (and Other) Logics
• Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination
• Rough sets and 3-valued logics

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 Q3007244)