Studia Logica, Volume 63

Volume 63, Number 1, July 1999

Ulrich Kohlenbach: A Note on Goodman's Theorem. 1-5 BibTeX
Duccio Luchi, Franco Montagna: An Operational Logic of Proofs with Positive and Negative Information. 7-25 BibTeX
Paolo Gentilini: Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric. 27-48 BibTeX
John Cantwell: Some Logics of Iterated Belief Change. 49-84 BibTeX
J. W. Degen: Complete Infinitary Type Logics. 85-119 BibTeX
James D. McCawley: Everything That Linguists Have Always Wanted to Know About Logic. 121-150 BibTeX

Alexander Yashin: New Intuitionistic Logical Constants and Novikov Completeness. 151-180 BibTeX
Ryo Kashima, Norihiro Kamide: Substructural Implicational Logics Including the Relevant Logic E. 181-212 BibTeX
Clint J. van Alten, James G. Raftery: The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction. 213-222 BibTeX
R. Elgueta, Ramon Jansana: Definability of Leibniz Equality. 223-243 BibTeX
Paolo Gentilini: Proof-Theoretic Modal PA-Completeness II: The Syntactic Countermodel. 245-268 BibTeX

Paolo Gentilini: Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof. 301-310 BibTeX
Adrian Miroiu: Actuality and World-Indexed Sentences. 311-330 BibTeX
Eduardo L. Fermé, Sven Ove Hansson: Selective Revision. 331-342 BibTeX
Wim Ruitenburg: Basic Logic, K4, and Persistence. 343-352 BibTeX
Silvio Ghilardi, Pierangelo Miglioli: On Canonicity and Strong Completeness Conditions in Intermediate Propositional Logics. 353-385 BibTeX
Nobu-Yuki Suzuki: Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics. 387-416 BibTeX