External Links

    Journal: Journal of Logic and Computation

    Volume 19, Issue 2

    245 -- 260Petr Cintula, Petr Hájek. Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic
    261 -- 0Maribel Fernández. Rewriting Corner
    263 -- 302Miquel Bofill, Albert Rubio. Paramodulation with Well-founded Orderings
    303 -- 0Yde Venema. Algebraic and Coalgebraic Logic Corner
    305 -- 321Szabolcs Mikulás. Algebras of Relations and Relevance Logic
    323 -- 339Emil Jerábek. Proof Complexity of the Cut-free Calculus of Structures
    341 -- 367Murdoch James Gabbay. Nominal Algebra and the HSP Theorem
    343 -- 0Matthias Baaz, George Metcalfe. Fuzzy Logic Corner
    369 -- 404Nicole Bidoit, Matthieu Objois. Fixpoint and While Temporal Query Languages
    405 -- 423Yan Zhang. Updating Epistemic Logic Programs
    425 -- 443Santiago Figueira, Joseph S. Miller, André Nies. Indifferent Sets
    runs on