Works matching IS 00393215 AND DT 2006 AND VI 83 AND IP 1

Results: 18

Willem Blok's Contribution to Abstract Algebraic Logic.

Published in:

Studia Logica, 2006, v. 83, n. 1, p. 31, doi. 10.1007/s11225-006-8297-1

By:

Ramon Jansana

Publication type:

Article

Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes.

Published in:

Studia Logica, 2006, v. 83, n. 1, p. 393, doi. 10.1007/s11225-006-8310-8

By:

Jeffrey Olson

Publication type:

Article

Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.

Published in:

Studia Logica, 2006, v. 83, n. 1, p. 279, doi. 10.1007/s11225-006-8305-5

By:

Nikolaos Galatos;
Hiroakira Ono

Publication type:

Article

Modal Frame Correspondences and Fixed-Points.

Published in:

Studia Logica, 2006, v. 83, n. 1, p. 133, doi. 10.1007/s11225-006-8301-9

By:

Johan Benthem

Publication type:

Article

The Beth Property in Algebraic Logic.

Published in:

Studia Logica, 2006, v. 83, n. 1, p. 49, doi. 10.1007/s11225-006-8298-0

By:

W. Blok;
Eva Hoogland

Publication type:

Article

On Varieties of Biresiduation Algebras.

Published in:

Studia Logica, 2006, v. 83, n. 1, p. 425, doi. 10.1007/s11225-006-8312-6

By:

C. van Alten

Publication type:

Article

Semisimple Varieties of Modal Algebras.

Published in:

Studia Logica, 2006, v. 83, n. 1, p. 351, doi. 10.1007/s11225-006-8308-2

By:

Tomasz Kowalski;
Marcus Kracht

Publication type:

Article

On the Closure Properties of the Class of Full G-models of a Deductive System.

Published in:

Studia Logica, 2006, v. 83, n. 1, p. 215, doi. 10.1007/s11225-006-8304-6

By:

Josep Font;
Ramon Jansana;
Don Pigozzi

Publication type:

Article

The Jónsson-Kiefer Property.

Published in:

Studia Logica, 2006, v. 83, n. 1, p. 111, doi. 10.1007/s11225-006-8300-x

By:

K. Adaricheva;
R. Mckenzie;
E. Zenk;
M. Mar´ti;
J. Nation

Publication type:

Article

Willem Blok and Modal Logic.

Published in:

Studia Logica, 2006, v. 83, n. 1, p. 15, doi. 10.1007/s11225-006-8296-2

By:

W. Rautenberg;
M. Zakharyaschev;
F. Wolter

Publication type:

Article

Minimal Varieties of Involutive Residuated Lattices.

Published in:

Studia Logica, 2006, v. 83, n. 1, p. 407, doi. 10.1007/s11225-006-8311-7

By:

Constantine Tsinakis;
Annika Wille

Publication type:

Article

Maps and Monads for Modal Frames.

Published in:

Studia Logica, 2006, v. 83, n. 1, p. 309, doi. 10.1007/s11225-006-8306-4

By:

Robert Goldblatt

Publication type:

Article

General Theory of the Commutator for Deductive Systems. Part I. Basic Facts.

Published in:

Studia Logica, 2006, v. 83, n. 1, p. 183, doi. 10.1007/s11225-006-8303-7

By:

Janusz Czelakowski

Publication type:

Article

Equivalence of Consequence Operations.

Published in:

Studia Logica, 2006, v. 83, n. 1, p. 91, doi. 10.1007/s11225-006-8299-z

By:

W. Blok;
Bjarni Jónsson

Publication type:

Article

In Memory of Willem Johannes Blok 1947-2003.

Published in:

Studia Logica, 2006, v. 83, n. 1, p. 5, doi. 10.1007/s11225-006-8295-3

By:

Joel Berman;
Wieslaw Dziobiak;
Don Pigozzi;
James Raftery

Publication type:

Article

Projective Beth Property in Extensions of Grzegorczyk Logic.

Published in:

Studia Logica, 2006, v. 83, n. 1, p. 365, doi. 10.1007/s11225-006-8309-1

By:

Larisa Maksimova

Publication type:

Article

Quasivarieties of Modules Over Path Algebras of Quivers.

Published in:

Studia Logica, 2006, v. 83, n. 1, p. 333, doi. 10.1007/s11225-006-8307-3

By:

Keith Kearnes

Publication type:

Article

Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x<sup>2</sup>) = (2x)<sup>2</sup>.

Published in:

Studia Logica, 2006, v. 83, n. 1, p. 157, doi. 10.1007/s11225-006-8302-8

By:

Roberto Cignoli;
Antoni Torrell

Publication type:

Article