Reports on Mathematical Logic
, Volume 33
Volume 33, 1999
Tomasz Kowalski
:
Pretabular Varieties of Equivalential Algebras.
3-10
Electronic Edition
(link)
BibTeX
Alexej P. Pynko
:
Implication Systems for Many-Dimensional Logics.
11-27
Electronic Edition
(link)
BibTeX
Diderik Batens
,
Kristof de Clercq
,
Natasha Kurtonina
:
Embedding and Interpolation for some Paralogics. The Propositional Case.
29-44
Electronic Edition
(link)
BibTeX
Yutaka Miyazaki
:
The Super-Amalgamation Property of the Variety of Ortholattices.
45-63
Electronic Edition
(link)
BibTeX
Katsumi Sasaki
:
Formalizations for the Consequence Relation of Visser's Propositional Logic.
65-78
Electronic Edition
(link)
BibTeX
Teodor Stepien
:
Derivability.
79-98
Electronic Edition
(link)
BibTeX
Adam Grabowski
:
Lattice of Substitutions.
99-109
Electronic Edition
(link)
BibTeX
Tomasz Polacik
:
Induction Schemata Valid in Kripke Models of Arithmetical Theories.
111-125
Electronic Edition
(link)
BibTeX
Errata to RML 32
Francesco Paoli
:
Simplified Affine Phase Structures 32.
21-34
Electronic Edition
(link)
BibTeX
Copyright ©
Sun May 17 00:18:03 2009 by
Michael Ley
(
ley@uni-trier.de
)