Sommaire

Preface, Contents

Rauszer, Cecylia

Access to full text
Full (PDF)
p. 1-7

The Polish Digital Mathematics Library
From two- to four-valued logic

Brink, Chris

Access to full text
Full (PDF)
p. 9-16

The Polish Digital Mathematics Library
On the Leibniz congruences

Font, Josep

Access to full text
Full (PDF)
p. 17-36

The Polish Digital Mathematics Library
Normal forms in partial modal logic

Jaspars, Jan

Access to full text
Full (PDF)
p. 37-50

The Polish Digital Mathematics Library
Polyadic algebras over nonclassical logics

Pigozzi, Don ; Salibra, Antonino

Access to full text
Full (PDF)
p. 51-66

The Polish Digital Mathematics Library
Compactness and Löwenheim-Skolem properties in categories of pre-institutions

Salibra, Antonino ; Scollo, Giuseppe

Access to full text
Full (PDF)
p. 67-94

The Polish Digital Mathematics Library
What the finitization problem is not

Simon, A.

Access to full text
Full (PDF)
p. 95-116

The Polish Digital Mathematics Library
On connections between information systems, rough sets and algebraic logic

Comer, Stephen

Access to full text
Full (PDF)
p. 117-124

The Polish Digital Mathematics Library
Generalized pascal triangles: overview of new results

Korec, Ivan

Access to full text
Full (PDF)
p. 125-134

The Polish Digital Mathematics Library
Rough membership functions: a tool for reasoning with uncertainty

Pawlak, Z. ; Skowron, A.

Access to full text
Full (PDF)
p. 135-150

The Polish Digital Mathematics Library
On the detection of some periodic loops during the execution of Prolog programs

Skordev, Dimiter

Access to full text
Full (PDF)
p. 151-166

The Polish Digital Mathematics Library
Relational specifications

Berghammer, Rudolf ; Schmidt, Gunther

Access to full text
Full (PDF)
p. 167-190

The Polish Digital Mathematics Library
On algebras of relations

Bredikhin, D.

Access to full text
Full (PDF)
p. 191-199

The Polish Digital Mathematics Library
Finitary axiomatizations of the true relational equations

Maddux, Roger

Access to full text
Full (PDF)
p. 201-208

The Polish Digital Mathematics Library
Strong completeness of the Lambek Calculus with respect to Relational Semantics

Mikulás, Szabolcs

Access to full text
Full (PDF)
p. 209-217

The Polish Digital Mathematics Library
Hoops and their implicational reducts (abstract)

Bloki, W. ; Ferreirim, I.

Access to full text
Full (PDF)
p. 219-230

The Polish Digital Mathematics Library
A note on cylindric lattices

Düntsch, Ivo

Access to full text
Full (PDF)
p. 231-238

The Polish Digital Mathematics Library
Discriminator varieties of Boolean algebras with residuated operators

Jipsen, Peter

Access to full text
Full (PDF)
p. 239-252

The Polish Digital Mathematics Library
Lectures on cylindric set algebras

Monk, J.

Access to full text
Full (PDF)
p. 253-290

The Polish Digital Mathematics Library
Natural dualities for varieties of distributive lattices with a quantifier

Priestley, H.

Access to full text
Full (PDF)
p. 291-310

The Polish Digital Mathematics Library
Weak products of universal algebras

Sain, Ildikó

Access to full text
Full (PDF)
p. 311-318

The Polish Digital Mathematics Library
Comtrans algebras and their physical applications

Smith, Jonathan

Access to full text
Full (PDF)
p. 319-326

The Polish Digital Mathematics Library
Complete description of substitutions in cylindric algebras and other algebraic logics

Thompson, Richard

Access to full text
Full (PDF)
p. 327-342

The Polish Digital Mathematics Library