Banach Center Publications - Tom 28, Numer 1 (1993) - DML-PL - Yadda

Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Numer - szczegóły

Wydawca

Institute of Mathematics Polish Academy of Sciences

Czasopismo

Banach Center Publications

Rocznik

1993

Tom

28

Numer

1

Identyfikatory

Okładka

Zawartość wolumenu

1
- artykuł: Preface, Contents (Rauszer C.), s. 1-7
- artykuł: From two- to four-valued logic (Brink C.), s. 9-16
- artykuł: On the Leibniz congruences (Font J. M.), s. 17-36
- artykuł: Normal forms in partial modal logic (Jaspars J. O. M.), s. 37-50
- artykuł: Polyadic algebras over nonclassical logics (Pigozzi D., Salibra A.), s. 51-66
- artykuł: Compactness and Löwenheim-Skolem properties in categories of pre-institutions (Salibra A., Scollo G.), s. 67-94
- artykuł: What the finitization problem is not (Simon A.), s. 95-116
- artykuł: On connections between information systems, rough sets and algebraic logic (Comer S. D.), s. 117-124
- artykuł: Generalized pascal triangles: overview of new results (Korec I.), s. 125-134
- artykuł: Rough membership functions: a tool for reasoning with uncertainty (Pawlak Z., Skowron A.), s. 135-150
- artykuł: On the detection of some periodic loops during the execution of Prolog programs (Skordev D.), s. 151-166
- artykuł: Relational specifications (Berghammer R., Schmidt G.), s. 167-190
- artykuł: On algebras of relations (Bredikhin D. A.), s. 191-199
- artykuł: Finitary axiomatizations of the true relational equations (Maddux R. D.), s. 201-208
- artykuł: Strong completeness of the Lambek Calculus with respect to Relational Semantics (Mikulás S.), s. 209-217
- artykuł: Hoops and their implicational reducts (abstract) (Bloki W. J., Ferreirim I. M. A.), s. 219-230
- artykuł: A note on cylindric lattices (Düntsch I.), s. 231-238
- artykuł: Discriminator varieties of Boolean algebras with residuated operators (Jipsen P.), s. 239-252
- artykuł: Lectures on cylindric set algebras (Donald Monk J.), s. 253-290
- artykuł: Natural dualities for varieties of distributive lattices with a quantifier (Priestley H. A.), s. 291-310
- artykuł: Weak products of universal algebras (Sain I.), s. 311-318
- artykuł: Comtrans algebras and their physical applications (Smith J.), s. 319-326
- artykuł: Complete description of substitutions in cylindric algebras and other algebraic logics (Thompson R. J.), s. 327-342

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.