Works matching IS 00393215 AND DT 2000 AND VI 65 AND IP 1

Results: 7

Algebras and Matrices for Annotated Logics.

Published in:

Studia Logica, 2000, v. 65, n. 1, p. 137, doi. 10.1023/A:1005203411722

By:

Lewin, R.A.;
Mikenberg, I.F.;
Schwarze, M.G.

Publication type:

Article

Varieties of Pseudo-Interior Algebras.

Published in:

Studia Logica, 2000, v. 65, n. 1, p. 113, doi. 10.1023/A:1005299210813

By:

Klunder, Barbara

Publication type:

Article

Algebraic Characterizations of Various Beth Definability Properties.

Published in:

Studia Logica, 2000, v. 65, n. 1, p. 91, doi. 10.1023/A:1005295109904

By:

Hoogland, Eva

Publication type:

Article

Protoalgebraic Gentzen Systems and the Cut Rule.

Published in:

Studia Logica, 2000, v. 65, n. 1, p. 53, doi. 10.1023/A:1005243108996

By:

Gil, Àngel;
Rebagliato, Jordi

Publication type:

Article

Linearization of the BCK-logic.

Published in:

Studia Logica, 2000, v. 65, n. 1, p. 31, doi. 10.1023/A:1005290924926

By:

García Olmedo, Francisco;
Rodríguez Salas, Antonio

Publication type:

Article

On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion.

Published in:

Studia Logica, 2000, v. 65, n. 1, p. 11, doi. 10.1023/A:1005238908087

By:

Adillon, Romà;
Verdú, Ventura

Publication type:

Article

Foreword.

Published in:

Studia Logica, 2000, v. 65, n. 1, p. 1, doi. 10.1023/A:1005273024017

By:

Font, Josep;
Jansana, Ramon;
Pigozzi, Don

Publication type:

Article