Works matching IS 00393215 AND DT 2004 AND VI 76 AND IP 2
Results: 8
From Semirings to Residuated Kleene Lattices.
- Published in:
- Studia Logica, 2004, v. 76, n. 2, p. 291, doi. 10.1023/b:stud.0000032089.54776.63
- By:
- Publication type:
- Article
The Variety of Lattice-Ordered Monoids Generated by the Natural Numbers.
- Published in:
- Studia Logica, 2004, v. 76, n. 2, p. 275, doi. 10.1023/b:stud.0000032088.17345.ea
- By:
- Publication type:
- Article
Rule Separation and Embedding Theorems for Logics Without Weakening.
- Published in:
- Studia Logica, 2004, v. 76, n. 2, p. 241, doi. 10.1023/b:stud.0000032087.02579.e2
- By:
- Publication type:
- Article
Equational Bases for Joins of Residuated-lattice Varieties.
- Published in:
- Studia Logica, 2004, v. 76, n. 2, p. 227, doi. 10.1023/b:stud.0000032086.42963.7c
- By:
- Publication type:
- Article
Order Algebras as Models of Linear Logic.
- Published in:
- Studia Logica, 2004, v. 76, n. 2, p. 201, doi. 10.1023/b:stud.0000032085.13087.bd
- By:
- Publication type:
- Article
Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras.
- Published in:
- Studia Logica, 2004, v. 76, n. 2, p. 161, doi. 10.1023/b:stud.0000032084.12744.e3
- By:
- Publication type:
- Article
Willem Blok's Work in Algebraic Logic.
- Published in:
- Studia Logica, 2004, v. 76, n. 2, p. 155, doi. 10.1023/b:stud.0000032083.45504.62
- By:
- Publication type:
- Article
From the Editors.
- Published in:
- Studia Logica, 2004, v. 76, n. 2, p. 153, doi. 10.1023/b:stud.0000032133.81597.0a
- Publication type:
- Article