Book Reviews.
- Published in:
- 2000
- Publication type:
- Book Review
Works matching IS 00393215 AND DT 2000 AND VI 64 AND IP 1
Results: 7
1
2
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I.
- Published in:
- Studia Logica, 2000, v. 64, n. 1, p. 93, doi. 10.1023/A:1005298632302
- By:
- Publication type:
- Article
3
Priestley Duality for Quasi-Stone Algebras.
- Published in:
- Studia Logica, 2000, v. 64, n. 1, p. 83, doi. 10.1023/A:1005294531393
- By:
- Publication type:
- Article
4
Completeness Theorems via the Double Dual Functor.
- Published in:
- Studia Logica, 2000, v. 64, n. 1, p. 61, doi. 10.1023/A:1005238330484
- By:
- Publication type:
- Article
5
Extending Standard Models of ZFC to Models of Nonstandard Set Theories.
- Published in:
- Studia Logica, 2000, v. 64, n. 1, p. 37, doi. 10.1023/A:1005286212737
- By:
- Publication type:
- Article
6
On Categorical Equivalences of Commutative BCK-algebras.
- Published in:
- Studia Logica, 2000, v. 64, n. 1, p. 21, doi. 10.1023/A:1005282128667
- By:
- Publication type:
- Article
7
The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.
- Published in:
- Studia Logica, 2000, v. 64, n. 1, p. 3, doi. 10.1023/A:1005217827758
- By:
- Publication type:
- Article