Okada, Mitsuhiro; Terui, Kazushige The finite model property for various fragments of intuitionistic
linear logic.J. Symbolic Logic 64 (1999), no. 2, 790–802.
For users without a
, Relay Station allows linking from MR numbers in online mathematical literature
directly to electronic journals and original articles.
Subscribers receive the added value of full MathSciNet reviews.