|
Journals in DBLP
- Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek
Editorial. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2005, v:13, n:4, pp:363- [Journal]
- Arnon Avron, Beata Konikowska
Multi-valued Calculi for Logics Based on Non-determinism. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2005, v:13, n:4, pp:365-387 [Journal]
- George Georgescu, Andrei Popescu
Similarity Convergence in Residuated Structures. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2005, v:13, n:4, pp:389-413 [Journal]
- Reiner Hähnle
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2005, v:13, n:4, pp:415-433 [Journal]
- Petr Hájek
A non-arithmetical Gödel logic. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2005, v:13, n:4, pp:435-441 [Journal]
- Carles Noguera, Francesc Esteva, Joan Gispert
On Some Varieties of MTL-algebras. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2005, v:13, n:4, pp:443-466 [Journal]
- Ewa Orlowska, Ingrid Rewitzky
Duality via Truth: Semantic frameworks for lattice-based logics. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2005, v:13, n:4, pp:467-490 [Journal]
|