Works matching IS 00393215 AND DT 2011 AND VI 98 AND IP 3
Results: 6
On Some Compatible Operations on Heyting Algebras.
- Published in:
- Studia Logica, 2011, v. 98, n. 3, p. 331, doi. 10.1007/s11225-011-9338-y
- By:
- Publication type:
- Article
Paraconsistency in Categories: Case of Relevance Logic.
- Published in:
- Studia Logica, 2011, v. 98, n. 3, p. 429, doi. 10.1007/s11225-011-9342-2
- By:
- Publication type:
- Article
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse.
- Published in:
- Studia Logica, 2011, v. 98, n. 3, p. 387, doi. 10.1007/s11225-011-9341-3
- By:
- Publication type:
- Article
A Framework for Riddles about Truth that do not involve Self-Reference.
- Published in:
- Studia Logica, 2011, v. 98, n. 3, p. 445, doi. 10.1007/s11225-011-9343-1
- By:
- Publication type:
- Article
A Note on Bosbach's Cone Algebras.
- Published in:
- Studia Logica, 2011, v. 98, n. 3, p. 375, doi. 10.1007/s11225-011-9340-4
- By:
- Publication type:
- Article
On the Modal Definability of Simulability by Finite Transitive Models.
- Published in:
- Studia Logica, 2011, v. 98, n. 3, p. 347, doi. 10.1007/s11225-011-9339-x
- By:
- Publication type:
- Article