Proof Systems Combining Classical and Paraconsistent Negations.
- Published in:
- Studia Logica, 2009, v. 91, n. 2, p. 217, doi. 10.1007/s11225-009-9173-6
- By:
- Publication type:
- Article
Works matching IS 00393215 AND DT 2009 AND VI 91 AND IP 2
Results: 4
1
2
Proof Systems for Reasoning about Computation Errors.
- Published in:
- Studia Logica, 2009, v. 91, n. 2, p. 273, doi. 10.1007/s11225-009-9175-4
- By:
- Publication type:
- Article
3
Canonical Extensions and Relational Representations of Lattices with Negation.
- Published in:
- Studia Logica, 2009, v. 91, n. 2, p. 171, doi. 10.1007/s11225-009-9171-8
- By:
- Publication type:
- Article
4
On Modal μ -Calculus and Gödel-Löb Logic.
- Published in:
- Studia Logica, 2009, v. 91, n. 2, p. 145, doi. 10.1007/s11225-009-9170-9
- By:
- Publication type:
- Article