On Logically False Evidence Statements. - Hugues Leblanc (J. Symb. Log., 1957)

On Requirements for Conditional Probability Functions. - Hugues Leblanc (J. Symb. Log., 1960)

On a recent allotment of probabilities to open and closed sentences. - Hugues Leblanc (Notre Dame J. Formal Log., 1960)

Intuitionism reconsidered. - Nuel D. Belnap Jr.; Hugues Leblanc (Notre Dame J. Formal Log., 1962)

Structural rules of inference. - Hugues Leblanc (Notre Dame J. Formal Log., 1962)

On not strengthening intuitionistic logic. - Nuel D. Belnap Jr.; Hugues Leblanc; Richmond H. Thomason (Notre Dame J. Formal Log., 1963)

Proof routines for the propositional calculus. - Hugues Leblanc (Notre Dame J. Formal Log., 1963)

Two separation theorems for natural deduction. - Hugues Leblanc (Notre Dame J. Formal Log., 1966)

All or None: A Novel Choice of Primitives for Elementary Logic. - Richmond H. Thomason; Hugues Leblanc (J. Symb. Log., 1967)

Subformula Theorems for N-Sequents. - Hugues LeBlanc (J. Symb. Log., 1968)

A Simplified Account of Validity and Implication for Quantificational Logic. - Hugues LeBlanc (J. Symb. Log., 1968)

On Meyer and Lambert's Quantificational Calculus FQ. - Hugues LeBlanc (J. Symb. Log., 1968)

Syntactically free, semantically bound. A note on variables. - Hugues Leblanc (Notre Dame J. Formal Log., 1968)

Truth-value semantics for a logic of existence. - Hugues Leblanc (Notre Dame J. Formal Log., 1971)

Matters of relevance. - Hugues Leblanc (J. Philos. Log., 1972)

Matters of separation. - Hugues Leblanc; Robert K. Meyer (Notre Dame J. Formal Log., 1972)

Duals of Smullyan trees. - Hugues Leblanc; D. Paul Snyder (Notre Dame J. Formal Log., 1972)

Completeness of relevant quantification theories. - J. Michael Dunn; Hugues Leblanc; Robert K. Meyer (Notre Dame J. Formal Log., 1974)

A strong completeness theorem for 3-valued logic. - Harold Goldberg; Hugues Leblanc; George Weaver (Notre Dame J. Formal Log., 1974)

Erratum: "Duals of Smullyan trees". - Hugues Leblanc; D. Paul Snyder (Notre Dame J. Formal Log., 1974)

That Principia mathematica, first edition, has a predicative interpretation after all. - Hugues Leblanc (J. Philos. Log., 1975)

A Completeness Result for Quantificational Tense Logic. - Robert P. McArthur; Hugues Leblanc (Math. Log. Q., 1976)

A strong completeness theorem for 3-valued logic. II. - Hugues Leblanc (Notre Dame J. Formal Log., 1977)

On Carnap and Popper Probability Functions. - Hugues Leblanc; Bas C. van Fraassen (J. Symb. Log., 1979)

Probabilistic Semantics for First-Order Logic. - Hugues Leblanc (Math. Log. Q., 1979)

Generalization in first-order logic. - Hugues Leblanc (Notre Dame J. Formal Log., 1979)

Probability functions and their assumption sets - the singulary case. - Hugues Leblanc (J. Philos. Log., 1983)

Annual Meeting of the Association for Symbolic Logic: Philadelphia 1981. - Simon Kochen; Hugues Leblanc; Charles D. Parsons (J. Symb. Log., 1983)

Probabilistic semantics for intuitionistic logic. - Hugues Leblanc; Charles G. Morgan (Notre Dame J. Formal Log., 1983)

Probability theory, intuitionism, semantics, and the Dutch book argument. - Hugues Leblanc; Charles G. Morgan (Notre Dame J. Formal Log., 1983)

On Relativizing Kolmogorov's Absolute Probability Functions. - Hugues Leblanc; Peter Roeper (Notre Dame J. Formal Log., 1989)

Extending ω-consistent sets to maximally consistent, ω-complete sets. - George Weaver; Michael Thau; Hugues Leblanc (Math. Log. Q., 1990)

Henkin's Completeness Proof: Forty Years Later. - Hugues Leblanc; Peter Roeper; Michael Thau; George Weaver (Notre Dame J. Formal Log., 1991)

Indiscernability and Identiy in Probability Theory. - Peter Roeper; Hugues Leblanc (Notre Dame J. Formal Log., 1991)

Consequence and Confirmation. - Peter Roeper; Hugues Leblanc (Notre Dame J. Formal Log., 1995)

Absolute Probability Functions for Intuitionistic Propositional Logic. - Peter Roeper; Hugues Leblanc (J. Philos. Log., 1999)