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

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski