Works matching IS 00393215 AND DT 2008 AND VI 88 AND IP 3
Results: 5
An Approach to Glivenko’s Theorem in Algebraizable Logics.
- Published in:
- Studia Logica, 2008, v. 88, n. 3, p. 349, doi. 10.1007/s11225-008-9109-6
- By:
- Publication type:
- Article
Suszko’s Thesis, Inferential Many-valuedness, and the Notion of a Logical System.
- Published in:
- Studia Logica, 2008, v. 88, n. 3, p. 405, doi. 10.1007/s11225-008-9111-z
- By:
- Publication type:
- Article
Constructive Logic with Strong Negation is a Substructural Logic. I.
- Published in:
- Studia Logica, 2008, v. 88, n. 3, p. 325, doi. 10.1007/s11225-008-9113-x
- By:
- Publication type:
- Article
Asymptotic Densities in Logic and Type Theory.
- Published in:
- Studia Logica, 2008, v. 88, n. 3, p. 385, doi. 10.1007/s11225-008-9110-0
- By:
- Publication type:
- Article
A Model for Structural Changes of Belief.
- Published in:
- Studia Logica, 2008, v. 88, n. 3, p. 431, doi. 10.1007/s11225-008-9112-y
- By:
- Publication type:
- Article