Pages that link to "Item:Q5473745"
From MaRDI portal
The following pages link to Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473745):
Displaying 5 items.
- Proof theory and mathematical meaning of paraconsistent C-systems (Q420832) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Non-deterministic semantics for logics with a consistency operator (Q997049) (← links)
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics (Q2144181) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)