| |
| 1968 | ||
|---|---|---|
| 4 | J. Jay Zeman: Some Calculi with Strong Negation Primitive. J. Symb. Log. 33(1): 97-100 (1968) | |
| 3 | J. Jay Zeman: Lemmon-Style Bases for the Systems S1 ring- S4ring . J. Symb. Log. 33(3): 458-461 (1968) | |
| 2 | J. Jay Zeman: The Semisubstitutivity of Strict Implication. J. Symb. Log. 33(3): 462-464 (1968) | |
| 1967 | ||
| 1 | J. Jay Zeman: A System of Implicit Quantification. J. Symb. Log. 32(4): 480-504 (1967) | |