Reports on Mathematical Logic

No. 33 (1999)


Tomasz KOWALSKI: Pretabular Varieties of Equivalential Algebras; pp.3-10; (Abstract)

Alexej P. PYNKO: Implication Systems for Many-Dimensional Logics; pp. 11-27; (Abstract)

Diderik BATENS, Kristof De CLERCQ and Natasha KURTONINA: Embedding and Interpolation for some Paralogics. The Propositional Case; pp. 29-44; (Abstract)

Yutaka MIYAZAKI: The Super-Amalgamation Property of the Variety of Ortholattices; pp. 45-63; (Abstract)

Katsumi SASAKI: Formalizations for the Consequence Relation of Visser's Propositional Logic; pp.65-78; (Abstract)

Teodor STEPIEN: Derivability; pp. 79-98; (Abstract)

Adam GRABOWSKI: Lattice of Substitutions; pp.99-109; (Abstract)

Tomasz POLACIK: Induction Schemata Valid in Kripke Models of Arithmetical Theories; pp. 111-125; (Abstract)

Errata to RML 32:
Francesco PAOLI: Simplified Affine Phase Structures 32 (1998) pp. 21-34; (Abstract)


Back to Main Menu