Works matching IS 13670751 AND DT 2005 AND VI 13 AND IP 4

Results: 7

Duality via Truth: Semantic frameworks for lattice-based logics.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 4, p. 467, doi. 10.1093/jigpal/jzi035

By:

Orłowska, Ewa;
Rewitzky, Ingrid

Publication type:

Article

Multi-valued Calculi for Logics Based on Non-determinism.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 4, p. 365, doi. 10.1093/jigpal/jzi030

By:

Avron, Arnon;
Konikowska, Beata

Publication type:

Article

Editorial.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 4, p. 363, doi. 10.1093/jigpal/jzi029

By:

Baaz, M.;
Ciabattoni, A.;
Gabbay, D.;
Hájek, P.

Publication type:

Article

Similarity Convergence in Residuated Structures.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 4, p. 389, doi. 10.1093/jigpal/jzi031

By:

Georgescu, George;
Popescu, Andrei

Publication type:

Article

Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 4, p. 415, doi. 10.1093/jigpal/jzi032

By:

Hähnle, Reiner

Publication type:

Article

A non-arithmetical Gödel logic.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 4, p. 435, doi. 10.1093/jigpal/jzi033

By:

Hájek, Petr

Publication type:

Article

On Some Varieties of MTL-algebras.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 4, p. 443, doi. 10.1093/jigpal/jzi034

By:

Noguera, Carles;
Esteva, Francesc;
Gispert, Joan

Publication type:

Article