Works matching IS 00393215 AND DT 2009 AND VI 91 AND IP 1
Results: 8
Update to “A Survey of Abstract Algebraic Logic”.
- Published in:
- Studia Logica, 2009, v. 91, n. 1, p. 125, doi. 10.1007/s11225-009-9169-2
- By:
- Publication type:
- Article
Equivalents for a Quasivariety to be Generated by a Single Structure.
- Published in:
- Studia Logica, 2009, v. 91, n. 1, p. 113, doi. 10.1007/s11225-009-9168-3
- By:
- Publication type:
- Article
Behavioral Algebraization of Logics.
- Published in:
- Studia Logica, 2009, v. 91, n. 1, p. 63, doi. 10.1007/s11225-009-9163-8
- By:
- Publication type:
- Article
Predicate Logical Extensions of some Subintuitionistic Logics.
- Published in:
- Studia Logica, 2009, v. 91, n. 1, p. 131, doi. 10.1007/s11225-009-9166-5
- By:
- Publication type:
- Article
Many Concepts and Two Logics of Algorithmic Reduction.
- Published in:
- Studia Logica, 2009, v. 91, n. 1, p. 1, doi. 10.1007/s11225-009-9164-7
- Publication type:
- Article
Weakly higher order cylindric algebras and finite axiomatization of the representables.
- Published in:
- Studia Logica, 2009, v. 91, n. 1, p. 53
- By:
- Publication type:
- Article
Book Reviews.
- Published in:
- Studia Logica, 2009, v. 91, n. 1, p. 139, doi. 10.1007/s11225-009-9167-4
- By:
- Publication type:
- Article
The Logic of the Ontological Square.
- Published in:
- Studia Logica, 2009, v. 91, n. 1, p. 25, doi. 10.1007/s11225-009-9165-6
- By:
- Publication type:
- Article