Found: 5
Select item for more details and to access through your institution.
Persistence and Atomic Generation for Varieties of Boolean Algebras with Operators.
- Published in:
- Studia Logica, 2001, v. 68, n. 2, p. 155, doi. 10.1023/A:1012491022267
- By:
- Publication type:
- Article
A Kripke Semantics for the Logic of Gelfand Quantales.
- Published in:
- Studia Logica, 2001, v. 68, n. 2, p. 173, doi. 10.1023/A:1012495106338
- By:
- Publication type:
- Article
On Neat Reducts of Algebras of Logic.
- Published in:
- Studia Logica, 2001, v. 68, n. 2, p. 229, doi. 10.1023/A:1012447223176
- By:
- Publication type:
- Article
Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic.
- Published in:
- Studia Logica, 2001, v. 68, n. 2, p. 263, doi. 10.1023/A:1012499207246
- By:
- Publication type:
- Article
Book Reviews.
- Published in:
- 2001
- Publication type:
- Book Review