J. Jay Zeman - RankMe

17 papers Journal 17

Year	Rank	Type	Title / Venue / Authors
1979	J	`jnl`	Normal implications, bounded posets, and the existence of meets. Notre Dame J. Formal Log. J. Jay Zeman
1979	J	`jnl`	Normal, Sasaki, and classical implications. J. Philos. Log. J. Jay Zeman
1979	J	`jnl`	Quantum logic with implication. Notre Dame J. Formal Log. J. Jay Zeman
1979	J	`jnl`	Two basic pure-implicational systems. Notre Dame J. Formal Log. J. Jay Zeman
1978	J	`jnl`	Generalized normal logic. J. Philos. Log. J. Jay Zeman
1972	J	`jnl`	S4.6 is S4.9. Notre Dame J. Formal Log. J. Jay Zeman
1972	J	`jnl`	Semantics for S4.3.2. Notre Dame J. Formal Log. J. Jay Zeman
1971	J	`jnl`	A study of some systems in the neighborhood of S4.4. Notre Dame J. Formal Log. J. Jay Zeman
1969	J	`jnl`	Complete modalization in S4.4 and S4.0.4. Notre Dame J. Formal Log. J. Jay Zeman
1969	J	`jnl`	Modal systems in which necessity is "factorable". Notre Dame J. Formal Log. J. Jay Zeman
1968	J	`jnl`	Lemmon-Style Bases for the Systems S1 J. Symb. Log. J. Jay Zeman
1968	J	`jnl`	Some Calculi with Strong Negation Primitive. J. Symb. Log. J. Jay Zeman
1968	J	`jnl`	The Semisubstitutivity of Strict Implication. J. Symb. Log. J. Jay Zeman
1968	J	`jnl`	The propostitional calculus MC and its modal analog. Notre Dame J. Formal Log. J. Jay Zeman
1967	J	`jnl`	A System of Implicit Quantification. J. Symb. Log. J. Jay Zeman
1967	J	`jnl`	The deduction theorem in S4, S4.2, and S5. Notre Dame J. Formal Log. J. Jay Zeman
1963	J	`jnl`	Bases for S4 and S4.2 without added axioms. Notre Dame J. Formal Log. J. Jay Zeman