Works matching IS 00393215 AND DT 2003 AND VI 74 AND IP 1/2
Results: 8
Categorical Abstract Algebraic Logic: Equivalent Institutions.
- Published in:
- Studia Logica, 2003, v. 74, n. 1/2, p. 275, doi. 10.1023/a:1024682108396
- By:
- Publication type:
- Article
Foreword.
- Published in:
- Studia Logica, 2003, v. 74, n. 1/2, p. 3, doi. 10.1023/a:1024698605670
- By:
- Publication type:
- Article
A Survey of Abstract Algebraic Logic.
- Published in:
- Studia Logica, 2003, v. 74, n. 1/2, p. 13, doi. 10.1023/a:1024621922509
- By:
- Publication type:
- Article
Review of Protoalgebraic Logics by J. Czelakowski.
- Published in:
- Studia Logica, 2003, v. 74, n. 1/2, p. 313, doi. 10.1023/a:1024634225235
- By:
- Publication type:
- Article
Finite Basis Theorem for Filter-distributive Protoalgebraic Deductive Systems and Strict Universal Horn Classes.
- Published in:
- Studia Logica, 2003, v. 74, n. 1/2, p. 233, doi. 10.1023/a:1024630124326
- By:
- Publication type:
- Article
Quasivarieties of Logic, Regularity Conditions and Parameterized Algebraization.
- Published in:
- Studia Logica, 2003, v. 74, n. 1/2, p. 99, doi. 10.1023/a:1024673906579
- By:
- Publication type:
- Article
Algebraic Semantics for Deductive Systems.
- Published in:
- Studia Logica, 2003, v. 74, n. 1/2, p. 153, doi. 10.1023/a:1024626023417
- By:
- Publication type:
- Article
The Suszko Operator. Part I.
- Published in:
- Studia Logica, 2003, v. 74, n. 1/2, p. 181, doi. 10.1023/a:1024678007488
- By:
- Publication type:
- Article