External Links

    Journal: Studia Logica

    Volume 47, Issue 4

    311 -- 317Dev K. Roy, Richard Watnick. Finite condensations of recursive linear orders
    319 -- 326Herman Dishkant. Mathematics of Totalities: an alternative to mathematics of sets
    327 -- 345George Weaver. 0-categorical theories
    347 -- 352Krister Segerberg. Talking about actions
    353 -- 385Kosta Dosen. Sequent-systems and groupoid models. I
    387 -- 389Renato A. Lewin. Involutions defined by monadic terms
    391 -- 399Hiroakira Ono. On finite linear intermediate predicate logics
    401 -- 411Renato H. L. Pedrosa, Antonio M. A. Sette. A representation theorem for languages with generalized quantifiers through back-and-forth methods
    413 -- 428Richard Sylvan, Newton Costa. Cause as an implication
    429 -- 437Michal Krynicki. The non-definability notion and first order logic
    439 -- 441Janusz Czelakowski. Books received

    Volume 47, Issue 3

    181 -- 191Michael M. Richter, Manfred E. Szabo. Nonstandard methods in combinatorics and theoretical computer science
    193 -- 202László Csirmaz. Stability of weak second-order semantics
    203 -- 212E. J. Farkas. A faithful embedding of parallel computations in star-finite models
    213 -- 220Michal Grabowski. Arithmetical completeness versus relative completeness
    221 -- 232Joram Hirshfeld. Nonstandard combinatorics
    233 -- 241Dexter Kozen. A finite model theorem for the propositional μ-calculus
    243 -- 263Steven C. Leth. Sequences in countable nonstandard models of the natural numbers
    265 -- 278Steven C. Leth. Some nonstandard methods in combinatorial number theory
    279 -- 301Ildikó Sain. Is "some-other-time" sometimes better than "sometime" for proving partial correctness of programs?
    303 -- 309Frank Wattenberg. Nonstandard analysis and constructivism?

    Volume 47, Issue 2

    85 -- 91Melvin Fitting. Pseudo-Boolean valued prolog
    93 -- 97Marek Tokarz. Synonymy in sentential languages: a pragmatic view
    99 -- 110Maurizio Fattorosi-Barnaba, C. Cerrato. Graded modalities. III (the completeness and compactness of S40)
    111 -- 127Ross T. Brady. A content semantics for quantified relevant logics. I
    129 -- 143Martin W. Bunder. Arithmetic based on the Church numerals in illative combinatory logic
    145 -- 149M. J. Cresswell. Necessity and contingency
    151 -- 157Branislav R. Boricic. A note on sequent calculi intermediate between LJ and LK
    159 -- 168José M. Méndez. Converse Ackermann Croperty and semiclassical negation
    169 -- 176Janusz Czelakowski. Books received

    Volume 47, Issue 1

    1 -- 10Francesco Caro. Graded modalities, II (canonical models)
    11 -- 22Francesco Caro. Normal predicative logics with graded modalities
    23 -- 33Wojciech Buszkowski. Gaifman's theorem on categorial grammars revisited
    35 -- 40Michael Böttner. A note on existential import
    41 -- 48Tsutomu Hosoi. LQ
    49 -- 55Roman Tuziak. An axiomatization of the finite-valued Łukasiewicz calculus
    57 -- 69Adam Gajda. The adequacy condition as a definition of elementary interpretation
    71 -- 77Janusz Czelakowski. Books received
    runs on