Works matching IS 00393215 AND DT 1982 AND VI 41 AND IP 4
Results: 11
Books received.
- Published in:
- 1982
- By:
- Publication type:
- Book Review
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra.
- Published in:
- Studia Logica, 1982, v. 41, n. 4, p. 415, doi. 10.1007/BF00403339
- By:
- Publication type:
- Article
A formal ontology of situations.
- Published in:
- Studia Logica, 1982, v. 41, n. 4, p. 381, doi. 10.1007/BF00403338
- By:
- Publication type:
- Article
That SCI has the interpolation property.
- Published in:
- Studia Logica, 1982, v. 41, n. 4, p. 375, doi. 10.1007/BF00403337
- By:
- Publication type:
- Article
Adjoint interpretations of sentential calculi.
- Published in:
- Studia Logica, 1982, v. 41, n. 4, p. 359, doi. 10.1007/BF00403336
- By:
- Publication type:
- Article
∑-equivalence relations.
- Published in:
- Studia Logica, 1982, v. 41, n. 4, p. 351, doi. 10.1007/BF00403335
- By:
- Publication type:
- Article
The finite inseparability of the first-order theory of diagonalisable algebras.
- Published in:
- Studia Logica, 1982, v. 41, n. 4, p. 347, doi. 10.1007/BF00403334
- By:
- Publication type:
- Article
Another proof that ISP( K) is the least quasivariety containing K.
- Published in:
- Studia Logica, 1982, v. 41, n. 4, p. 343, doi. 10.1007/BF00403333
- By:
- Publication type:
- Article
Logical matrices and the amalgamation property.
- Published in:
- Studia Logica, 1982, v. 41, n. 4, p. 329, doi. 10.1007/BF00403332
- By:
- Publication type:
- Article
A categorical approach to polyadic algebras.
- Published in:
- Studia Logica, 1982, v. 41, n. 4, p. 317, doi. 10.1007/BF00403331
- By:
- Publication type:
- Article
What is quantum logic?
- Published in:
- Studia Logica, 1982, v. 41, n. 4, p. 311, doi. 10.1007/BF00403330
- By:
- Publication type:
- Article