Studia Logica, Volume 53

Volume 53, Number 1, February 1994

Antonio J. Rodríguez Salas, Antoni Torrens: Wajsberg algebras and Post algebras. 1-20 BibTeX
Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze: P1 algebras. 21-28 BibTeX
Giambattista Amati, Fiora Pirri: A uniform tableau method for intuitionistic modal logics I. 29-60 BibTeX
Claudio Cerrato: Decidability by Filtrations for graded normal logics (graded modalities V). 61-74 BibTeX
André Fuhrmann, Edwin D. Mares: On S. 75-92 BibTeX
Tomasz Polacik: Second order propositional operators over Cantor space. 93-106 BibTeX
Robert K. Meyer, H. Ono: The finite model property for BCK arid BCIW. 107-118 BibTeX
Ryo Kashima: Cut-free sequent calculi for some tense logics. 119-136 BibTeX
Helena Rasiowa: Axiomatization and completeness of uncountably valued approximation logic. 137-160 BibTeX

Michael Freund, Daniel J. Lehmann: Nonmonotonic reasoning: from finitary relations to infinitary inference operations. 161-202 BibTeX
Vladimir V. Rybakov: Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. 203-226 BibTeX
Misao Nagayama: On a property of BCK-identities. 227-234 BibTeX
Frank Wolter: What is the upper part of the lattice of bimodal logics? 235-242 BibTeX
Fernando Guzmán: A Gentzen system for conditional logic. 243-258 BibTeX
Ming Xu: Decidability of Stit theory with a single agent and Refref Equivalence. 259-298 BibTeX
Valentin Goranko: Refutation systems in modal logic. 299-324 BibTeX
George Weaver: Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theorems. 325-342 BibTeX
Marek Tokarz: Non-axiomatizability of Grice's implicature. 343-350 BibTeX

Max A. Freund: The relative consistency of system RRC^* and some of its extensions. 351-360 BibTeX
Katarzyna Palasinska: Three-element nonfinitely axiomatizable matrices. 361-372 BibTeX
Erik Aarts: Proving theorems of the second order Lambek calculus in polynominal time. 373-388 BibTeX
Sergio Galvan: A note an the omega-incompleteness formalization. 389-396 BibTeX
Yuichi Komori: Syntactical investigations into BI logic and BB'I logic. 397-416 BibTeX
Antonio di Nola, Ada Lettieri: Perfect MV-algebras are categorically equivalent to Abelian l-grups. 417-432 BibTeX
Rajeev Goré: Cut-free sequent and tableau systems for propositional Diodorean modal logics. 433-458 BibTeX

Helena Rasiowa: In Memoriam Cecylia Rauszer. 467-472 BibTeX
Bjarni Jónsson: On the canonicity of Sahlqvist identities. 473-492 BibTeX
Klaus Denecke, Katarzyna Halkowska: On P-compatible hybrid identities and hyperidentities. 493-502 BibTeX
David Isles: A finite analog to the Löwenheim-Skolem theorem. 503-532 BibTeX
Newton C. A. da Costa, Décio Krause: Schrödinger logics. 533-550 BibTeX
Max P. Urchs: On the logic of event-causation. Jaskowski-style systems causal logic. 551-578 BibTeX