Bulletin of the Section of Logic
Tom 26 ( 1997), Nr 2

Wydawnictwo Uniwersytetu Łódzkiego
ISSN 0138-0680

Zaznaczone:

Admissible rules for temporal logic LinTGrz

Julia V. Bezgacheva
The interpolation, Hallden-completeness, Robinson and Beth properties in modal logics

Anna Wójtowicz
Extensions of modal logic S5 preserving NP-completeness

Stephane Demri
Jonsson's lemma for regular and nilpotent shifts of pseudovarieties

Ivan Chajda Ewa Graczyńska
On minimal resolution proof for resolution logics

Zbigniew Stachniak
A general approach to the algebras of unary functions in a Boolean semantics for natural language

Marek Nowak

Muzeum Historii
Polski w Warszawie

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