Works matching IS 09425616 AND DT 2006 AND VI 52 AND IP 2


Results: 9
    1
    2
    3

    Recursive logic frames.

    Published in:
    Mathematical Logic Quarterly, 2006, v. 52, n. 2, p. 151, doi. 10.1002/malq.200410058
    By:
    • Shelah, Saharon;
    • Väänänen, Jouko
    Publication type:
    Article
    4

    Monadic dynamic algebras.

    Published in:
    Mathematical Logic Quarterly, 2006, v. 52, n. 2, p. 134, doi. 10.1002/malq.200510022
    By:
    • Pinto, S. Marques;
    • Oliveira-Martins, M. Teresa;
    • Céu Pinto, M.
    Publication type:
    Article
    5
    6

    Continuous fuzzy Horn logic.

    Published in:
    Mathematical Logic Quarterly, 2006, v. 52, n. 2, p. 171, doi. 10.1002/malq.200510025
    By:
    • Vychodil, Vilém
    Publication type:
    Article
    7
    8
    9