External Links

    Journal: Studia Logica

    Volume 52, Issue 4

    491 -- 518Bernhard Lauth. Inductive inference in the limit for first-order sentences
    519 -- 548Wolfgang Balzer, Bernhard Lauth, Gerhard Zoubek. A model for science kinematics
    549 -- 564Paolo Gentilini. Syntactical results on the arithmetical completeness of modal logic
    565 -- 586Ross T. Brady. Rules in relevant logic-II: formula representation
    587 -- 594Dev Kumar Roy. Recursive versus recursively enumerable binary relations
    595 -- 614Gonzalo E. Reyes, Marek W. Zawadowski. Formal systems for modal operators on locales

    Volume 52, Issue 3

    339 -- 380David Makinson. Five faces of minimality
    381 -- 392Greg Restall. How to be ::::really:::: contraction free
    393 -- 404Adam Kolany. Satisfiability on hypergraphs
    405 -- 418Dietmar Schweigert. Hybrid terms and sentences
    419 -- 442Gianpiero Cattaneo, Maria Luisa Dalla Chiara, Roberto Giuntini. Fuzzy intuitionistic quantum logics
    443 -- 456John K. Slaney. Sentential constants in systems near R
    457 -- 482Michael Freund. Supracompact inference operations

    Volume 52, Issue 2

    181 -- 0Charles G. Morgan. Introduction
    183 -- 196Gordon Beavers. Automated theorem proving for Lukasiewicz logics
    197 -- 232Ricardo Caferra, Stéphane Demri, Michel Herment. A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics
    233 -- 258Ian P. Gent. Theory matrices (for modal logics) Using alphabetical monotonicity
    259 -- 280Yue Jun Jiang. A intensional epistemic logic
    281 -- 290Arthur Buchsbaum, Tarcisio H. C. Pequeno. A reasoning method for a paraconsistent logic
    291 -- 308Francis Jeffry Pelletier. Identity in modal logic theorem proving
    309 -- 322Zbigniew Stachniak. An essay on resolution logics
    323 -- 338André Vellino. The relative complexity of analytic tableaux and SL-resolution

    Volume 52, Issue 1

    1 -- 14Josep Maria Font, Ventura Verdú. The lattice of distributive closure operators over an algebra
    15 -- 22Tsutomu Hosoi, Isao Masuda. A study of intermediate propositional logics on the thrid slice
    23 -- 40Tatsuya Shimura. Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas
    41 -- 62Katsumi Sasaki. The simple substitution property of the intermediate propositional logics on finite slices
    63 -- 72Wolfgang Rautenberg. On reduced matrices
    73 -- 94Nobu-Yuki Suzuki. Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
    95 -- 112Sergiu Rudeanu. On Lukasiewicz-Moisil algebras of fuzzy sets
    113 -- 142Richard B. White. A consistent theory of attributes in a logic without contraction
    143 -- 168Vladimir L. Vasyukov. The completeness of the factor semantics for Lukasiewicz s infinite-valued logics
    runs on