Symbolic and Quantitative Approaches to Reasoning with Uncertainty

DOI10.1007/b138862zbMath1113.03323OpenAlexW3187471853MaRDI QIDQ5473745

Arnon Avron

Publication date: 23 June 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b138862

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Paraconsistent logics (03B53)

Related Items (2)

Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation

This page was built for publication: Symbolic and Quantitative Approaches to Reasoning with Uncertainty