Bulletin of the Section of Logic
Tom 9 ( 1980), Nr 4

Wydawnictwo Uniwersytetu Łódzkiego
ISSN 0138-0680

Zaznaczone:

Every two-valuated propositional calculus has the interpolation property

Zdzisław Dywan Teodor Stępień
Quasi-strongly finite sentential calculi

Zdzisław Dywan
A note on quantified significance logic

Martin W. Bunder
An example of the commutative BCK-algebra

Marek Pałasiński
Finitely generated ideals in directed commutative BCK-algebras

Marek Pałasiński Barbara Woźniakowska
Equivalential fragment of the infinite valued logic of Lukasiewicz and the intermediate logics

Piotr S. Krzystek
On reducts of intermediate logics

Andrzej Wroński
Towards the source of the notion of implication

Jacek K. Kabziński
What is the equivalence connective

Jacek K. Kabziński
A mechanized decision procedure for non-classical logics: The program KRIPKE

Michael A. McRobbie Paul B. Thistlewaite Robert K. Meyer
Quasi equational logic of partial algebras

Hajnal Andreka Peter Burmeister Istvan Nemeti

Muzeum Historii
Polski w Warszawie

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