Hugues Leblanc

36 papers Journal 36

Year	Rank	Type	Title / Venue / Authors
1999	J	`jnl`	Absolute Probability Functions for Intuitionistic Propositional Logic. J. Philos. Log. Peter Roeper, Hugues Leblanc
1995	J	`jnl`	Consequence and Confirmation. Notre Dame J. Formal Log. Peter Roeper, Hugues Leblanc
1991	J	`jnl`	Henkin's Completeness Proof: Forty Years Later. Notre Dame J. Formal Log. Hugues Leblanc, Peter Roeper, Michael Thau, George Weaver
1991	J	`jnl`	Indiscernability and Identiy in Probability Theory. Notre Dame J. Formal Log. Peter Roeper, Hugues Leblanc
1990	J	`jnl`	Extending ω-consistent sets to maximally consistent, ω-complete sets. Math. Log. Q. George Weaver, Michael Thau, Hugues Leblanc
1989	J	`jnl`	On Relativizing Kolmogorov's Absolute Probability Functions. Notre Dame J. Formal Log. Hugues Leblanc, Peter Roeper
1983	J	`jnl`	Annual Meeting of the Association for Symbolic Logic: Philadelphia 1981. J. Symb. Log. Simon Kochen, Hugues Leblanc, Charles D. Parsons
1983	J	`jnl`	Probabilistic semantics for intuitionistic logic. Notre Dame J. Formal Log. Hugues Leblanc, Charles G. Morgan
1983	J	`jnl`	Probability functions and their assumption sets - the singulary case. J. Philos. Log. Hugues Leblanc
1983	J	`jnl`	Probability theory, intuitionism, semantics, and the Dutch book argument. Notre Dame J. Formal Log. Hugues Leblanc, Charles G. Morgan
1979	J	`jnl`	Generalization in first-order logic. Notre Dame J. Formal Log. Hugues Leblanc
1979	J	`jnl`	On Carnap and Popper Probability Functions. J. Symb. Log. Hugues Leblanc, Bas C. van Fraassen
1979	J	`jnl`	Probabilistic Semantics for First-Order Logic. Math. Log. Q. Hugues Leblanc
1977	J	`jnl`	A strong completeness theorem for 3-valued logic. II. Notre Dame J. Formal Log. Hugues Leblanc
1976	J	`jnl`	A Completeness Result for Quantificational Tense Logic. Math. Log. Q. Robert P. McArthur, Hugues Leblanc
1975	J	`jnl`	That J. Philos. Log. Hugues Leblanc
1974	J	`jnl`	A strong completeness theorem for 3-valued logic. Notre Dame J. Formal Log. Harold Goldberg, Hugues Leblanc, George Weaver
1974	J	`jnl`	Completeness of relevant quantification theories. Notre Dame J. Formal Log. J. Michael Dunn, Hugues Leblanc, Robert K. Meyer
1974	J	`jnl`	Erratum: "Duals of Smullyan trees". Notre Dame J. Formal Log. Hugues Leblanc, D. Paul Snyder
1972	J	`jnl`	Duals of Smullyan trees. Notre Dame J. Formal Log. Hugues Leblanc, D. Paul Snyder
1972	J	`jnl`	Matters of relevance. J. Philos. Log. Hugues Leblanc
1972	J	`jnl`	Matters of separation. Notre Dame J. Formal Log. Hugues Leblanc, Robert K. Meyer
1971	J	`jnl`	Truth-value semantics for a logic of existence. Notre Dame J. Formal Log. Hugues Leblanc
1968	J	`jnl`	A Simplified Account of Validity and Implication for Quantificational Logic. J. Symb. Log. Hugues Leblanc
1968	J	`jnl`	On Meyer and Lambert's Quantificational Calculus FQ. J. Symb. Log. Hugues Leblanc
1968	J	`jnl`	Subformula Theorems for N-Sequents. J. Symb. Log. Hugues Leblanc
1968	J	`jnl`	Syntactically free, semantically bound. A note on variables. Notre Dame J. Formal Log. Hugues Leblanc
1967	J	`jnl`	All or None: A Novel Choice of Primitives for Elementary Logic. J. Symb. Log. Richmond H. Thomason, Hugues Leblanc
1966	J	`jnl`	Two separation theorems for natural deduction. Notre Dame J. Formal Log. Hugues Leblanc
1963	J	`jnl`	On not strengthening intuitionistic logic. Notre Dame J. Formal Log. Nuel D. Belnap Jr., Hugues Leblanc, Richmond H. Thomason
1963	J	`jnl`	Proof routines for the propositional calculus. Notre Dame J. Formal Log. Hugues Leblanc
1962	J	`jnl`	Intuitionism reconsidered. Notre Dame J. Formal Log. Nuel D. Belnap Jr., Hugues Leblanc
1962	J	`jnl`	Structural rules of inference. Notre Dame J. Formal Log. Hugues Leblanc
1960	J	`jnl`	On Requirements for Conditional Probability Functions. J. Symb. Log. Hugues Leblanc
1960	J	`jnl`	On a recent allotment of probabilities to open and closed sentences. Notre Dame J. Formal Log. Hugues Leblanc
1957	J	`jnl`	On Logically False Evidence Statements. J. Symb. Log. Hugues Leblanc