Works matching IS 09425616 AND DT 1995 AND VI 41 AND IP 4
Results: 12
Constants in Kripke Models for Intuitionistic Logic.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 4, p. 431, doi. 10.1002/malq.19950410402
- By:
- Publication type:
- Article
Some Boolean Algebras with Finitely Many Distinguished Ideals I.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 4, p. 485, doi. 10.1002/malq.19950410406
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 4, p. fmi, doi. 10.1002/malq.19950410401
- Publication type:
- Article
Errata.
- Published in:
- 1995
- Publication type:
- Erratum
Non-associative Lambek Categorial Grammar in Polynomial Time.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 4, p. 476, doi. 10.1002/malq.19950410405
- By:
- Publication type:
- Article
Intuitionistic ϵ- and τ-calculi.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 4, p. 523, doi. 10.1002/malq.19950410409
- By:
- Publication type:
- Article
A Gap Cohomology Group.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 4, p. 564, doi. 10.1002/malq.19950410411
- By:
- Publication type:
- Article
Initial Objects, Universal Objects for Squares, Equivalences and Congruences in Relation Semi-Algebras and Algebras.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 4, p. 455, doi. 10.1002/malq.19950410404
- By:
- Publication type:
- Article
Relatively Recursively Enumerable Versus Relatively Σ<sub>1</sub> in Models of Peano Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 4, p. 515, doi. 10.1002/malq.19950410408
- By:
- Publication type:
- Article
An Infinitary Graded Modal Logic (Graded Modalities VI).
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 4, p. 547, doi. 10.1002/malq.19950410410
- By:
- Publication type:
- Article
Characterizing Belnap's Logic via De Morgan's Laws.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 4, p. 442, doi. 10.1002/malq.19950410403
- By:
- Publication type:
- Article
A General Type for Storage Operators.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 4, p. 505, doi. 10.1002/malq.19950410407
- By:
- Publication type:
- Article