External Links

    Journal: Formalized Mathematics

    Volume 20, Issue 3

    193 -- 197Julian J. Schlöder, Peter Koepke. Transition of Consistency and Satisfiability under Language Extensions
    199 -- 203Julian J. Schlöder, Peter Koepke. The Gödel Completeness Theorem for Uncountable Languages
    205 -- 214Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama. Quotient Module of Z-module
    215 -- 219Mariusz Giero. The Derivations of Temporal Logic Formulas
    221 -- 226Mariusz Giero. The Properties of Sets of Temporal Logic Subformulas
    227 -- 234Mariusz Giero. Weak Completeness Theorem for Propositional Linear Time Temporal Logic
    235 -- 237Karol Pak. The Friendship Theorem
    239 -- 256Grzegorz Bancerek. Free Term Algebras
    runs on