Reports on Mathematical Logic
, Volume 35
Volume 35, 2001
Camillo Fiorentini
:
Hypercanonicity, Extensive Canonicity, Canonicity and Strong Completeness of Intermediate Propositional Logics.
3-46
Electronic Edition
(link)
BibTeX
J. W. Degen
:
Proof Theory for Finitely Valid Sentences.
47-59
Electronic Edition
(link)
BibTeX
Robert Cowen
:
Property S.
61-74
Electronic Edition
(link)
BibTeX
Joanna Grygiel
:
Boolean Constructions of Independent Sets of Generators for Filters.
75-85
Electronic Edition
(link)
BibTeX
Piotr Wojtylak
,
Andrzej Wronski
:
On the Problem of R. E. Tax.
87-101
Electronic Edition
(link)
BibTeX
George Georgescu
:
Some Model Theory for Probability Structures.
103-113
Electronic Edition
(link)
BibTeX
Josep Maria Font
,
Ramon Jansana
,
Don Pigozzi
:
Fully Adequate Gentzen Systems and the Deduction Theorem.
115-165
Electronic Edition
(link)
BibTeX
Copyright ©
Sun May 17 00:18:03 2009 by
Michael Ley
(
ley@uni-trier.de
)