Bulletin of the Section of Logic
Tom 5 ( 1976), Nr 1

Wydawnictwo Uniwersytetu Łódzkiego
ISSN 0138-0680

Zaznaczone:

Neighbourhood semantics and generalized Kripke models

Bernd Dahn
Some remarks on three-valued implicative sentential calculi

Teresa Zakrzewska
The modal system S3 and SCI

Wiesława Zandarowska
Complete systems of indexical logic

Rolf Schock
Classically axiomatizable modal propositional calculi containing the system T of Feys-von Wright

Wiesław Dziobiak
Characterization of finitely axiomatizable sets on the basis of a system of the propositional calculus

Jerzy Czajsner
On Lindenbaum's algebras of finite implicational Lukasiewicz's logics

Marian Maduch
Undecidability of some logical extensions of Ajdukiewicz-Lambek calculus

Wojciech Buszkowski

Muzeum Historii
Polski w Warszawie

Materiały zamieszczone na stronie są dostępna na licencji CC BY-SA
Projekt graficzny serwisu: Veshch