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
Works matching IS 00393215 AND DT 2011 AND VI 98 AND IP 3
Results: 6
1
2
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
3
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
4
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
5
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
6
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