pág. 327
pág. 336
Categorical abstract algebraic logic: The criterion for deductive equivalence: The criterion for deductive equivalence
George Voutsadakis
pág. 347
Generic separations and leaf languages
M. Galota, H. Vollmer, S. Kosub
pág. 353
pág. 363
Some weak forms of the Baire category theorem
Kyriakos Kermedis
pág. 369
Characterizing strong compactness via strongness
Arthur W. Apter
pág. 375
pág. 385
pág. 394
pág. 394
On semilattice relevant logics
Ryo Kashima
pág. 401
A probabilistic extension of intuitionistic logic
Z. Ognjanovic, Z. Markovic
pág. 415
pág. 425
pág. 428
© 2001-2024 Fundación Dialnet · Todos los derechos reservados