Works matching IS 00393215 AND DT 2006 AND VI 83 AND IP 1-3
Results: 18
Quasivarieties of Modules Over Path Algebras of Quivers.
- Published in:
- Studia Logica, 2006, v. 83, n. 1-3, p. 333, doi. 10.1007/s11225-006-8307-3
- By:
- Publication type:
- Article
Minimal Varieties of Involutive Residuated Lattices.
- Published in:
- Studia Logica, 2006, v. 83, n. 1-3, p. 407, doi. 10.1007/s11225-006-8311-7
- By:
- Publication type:
- Article
Subdirectly Irreducible Residuated Semilattices and Positive Universal Classes.
- Published in:
- Studia Logica, 2006, v. 83, n. 1-3, p. 393, doi. 10.1007/s11225-006-8310-8
- By:
- Publication type:
- Article
Projective Beth Property in Extensions of Grzegorczyk Logic.
- Published in:
- Studia Logica, 2006, v. 83, n. 1-3, p. 365, doi. 10.1007/s11225-006-8309-1
- By:
- Publication type:
- Article
Semisimple Varieties of Modal Algebras.
- Published in:
- Studia Logica, 2006, v. 83, n. 1-3, p. 351, doi. 10.1007/s11225-006-8308-2
- By:
- Publication type:
- Article
On Varieties of Biresiduation Algebras.
- Published in:
- Studia Logica, 2006, v. 83, n. 1-3, p. 425, doi. 10.1007/s11225-006-8312-6
- By:
- Publication type:
- Article
Maps and Monads for Modal Frames.
- Published in:
- Studia Logica, 2006, v. 83, n. 1-3, p. 309, doi. 10.1007/s11225-006-8306-4
- By:
- Publication type:
- Article
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.
- Published in:
- Studia Logica, 2006, v. 83, n. 1-3, p. 279, doi. 10.1007/s11225-006-8305-5
- By:
- 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-3, p. 215, doi. 10.1007/s11225-006-8304-6
- By:
- Publication type:
- Article
General Theory of the Commutator for Deductive Systems. Part I. Basic Facts.
- Published in:
- Studia Logica, 2006, v. 83, n. 1-3, p. 183, doi. 10.1007/s11225-006-8303-7
- By:
- 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-3, p. 157, doi. 10.1007/s11225-006-8302-8
- By:
- Publication type:
- Article
Modal Frame Correspondences and Fixed-Points.
- Published in:
- Studia Logica, 2006, v. 83, n. 1-3, p. 133, doi. 10.1007/s11225-006-8301-9
- By:
- Publication type:
- Article
The Jónsson-Kiefer Property.
- Published in:
- Studia Logica, 2006, v. 83, n. 1-3, p. 111, doi. 10.1007/s11225-006-8300-x
- By:
- Publication type:
- Article
Equivalence of Consequence Operations.
- Published in:
- Studia Logica, 2006, v. 83, n. 1-3, p. 91, doi. 10.1007/s11225-006-8299-z
- By:
- Publication type:
- Article
The Beth Property in Algebraic Logic.
- Published in:
- Studia Logica, 2006, v. 83, n. 1-3, p. 49, doi. 10.1007/s11225-006-8298-0
- By:
- Publication type:
- Article
Willem Blok's Contribution to Abstract Algebraic Logic.
- Published in:
- Studia Logica, 2006, v. 83, n. 1-3, p. 31, doi. 10.1007/s11225-006-8297-1
- By:
- Publication type:
- Article
Willem Blok and Modal Logic.
- Published in:
- Studia Logica, 2006, v. 83, n. 1-3, p. 15, doi. 10.1007/s11225-006-8296-2
- By:
- Publication type:
- Article
In Memory of Willem Johannes Blok 1947-2003.
- Published in:
- Studia Logica, 2006, v. 83, n. 1-3, p. 5, doi. 10.1007/s11225-006-8295-3
- By:
- Publication type:
- Article