Reports on Mathematical Logic
, Volume 39
Volume 39, 2005
M. Schirn
,
K. G. Niebergal
:
Finitism = PRA? On a Thesis of W. W. Tait.
3-24
Electronic Edition
(link)
BibTeX
George Weaver
:
Compactness in Equational Logic.
25-46
Electronic Edition
(link)
BibTeX
Gemma Robles
,
José M. Méndez
,
Francisco Salto
:
Minimal Negation in the Ternary Relational Semantics.
47-65
Electronic Edition
(link)
BibTeX
Marek Zaionc
:
On the Asymptotic Density of Tautologies in Logic of Implication and Negation.
67-87
Electronic Edition
(link)
BibTeX
M. B. Lattanzi
:
(n+1)-bounded Wajsberg Algebras with a U-operator.
89-111
Electronic Edition
(link)
BibTeX
Sergio A. Celani
:
Modal Tarski Algebras.
113-126
Electronic Edition
(link)
BibTeX
Kamila Bendová
:
Interpolation and Three-valued Logics.
127-131
Electronic Edition
(link)
BibTeX
James G. Raftery
,
Clint J. van Alten
:
Corrigendum: Residuation in Commutative Ordered Monoids with Minimal Zero.
133-135
Electronic Edition
(link)
BibTeX
Copyright ©
Sun May 17 00:18:04 2009 by
Michael Ley
(
ley@uni-trier.de
)