Found: 7
Select item for more details and to access through your institution.
A Negationless Interpretation of Intuitionistic Theories. II.
- Published in:
- Studia Logica, 2000, v. 65, n. 2, p. 155, doi. 10.1023/A:1005207512630
- By:
- Publication type:
- Article
Varieties of Three-Valued Heyting Algebras with a Quantifier.
- Published in:
- Studia Logica, 2000, v. 65, n. 2, p. 181, doi. 10.1023/A:1005211613539
- By:
- Publication type:
- Article
Arrow Logic and Infinite Counting.
- Published in:
- Studia Logica, 2000, v. 65, n. 2, p. 199, doi. 10.1023/A:1005215730377
- By:
- Publication type:
- Article
Non-Commutative Topology and Quantales.
- Published in:
- Studia Logica, 2000, v. 65, n. 2, p. 223, doi. 10.1023/A:1005267714448
- By:
- Publication type:
- Article
Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster.
- Published in:
- Studia Logica, 2000, v. 65, n. 2, p. 237, doi. 10.1023/A:1005219831286
- By:
- Publication type:
- Article
First Order Common Knowledge Logics.
- Published in:
- Studia Logica, 2000, v. 65, n. 2, p. 249, doi. 10.1023/A:1005271815356
- By:
- Publication type:
- Article
Book Reviews.
- Published in:
- 2000
- Publication type:
- Book Review