Hugues Leblanc

Publication Activity (10 Years)

Years Active: 1957-1999
Publications (10 Years): 0

Publications

Peter Roeper, Hugues Leblanc
Absolute Probability Functions for Intuitionistic Propositional Logic. J. Philos. Log. 28 (3) (1999)
Peter Roeper, Hugues Leblanc
Consequence and Confirmation. Notre Dame J. Formal Log. 36 (3) (1995)
Peter Roeper, Hugues Leblanc
Indiscernability and Identiy in Probability Theory. Notre Dame J. Formal Log. 32 (1) (1991)
Hugues Leblanc, Peter Roeper, Michael Thau, George Weaver
Henkin's Completeness Proof: Forty Years Later. Notre Dame J. Formal Log. 32 (2) (1991)
George Weaver, Michael Thau, Hugues Leblanc
Extending ω-consistent sets to maximally consistent, ω-complete sets. Math. Log. Q. 36 (5) (1990)
Hugues Leblanc, Peter Roeper
On Relativizing Kolmogorov's Absolute Probability Functions. Notre Dame J. Formal Log. 30 (4) (1989)
Simon Kochen, Hugues Leblanc, Charles D. Parsons
Annual Meeting of the Association for Symbolic Logic: Philadelphia 1981. J. Symb. Log. 48 (3) (1983)
Hugues Leblanc
Probability functions and their assumption sets - the singulary case. J. Philos. Log. 12 (4) (1983)
Hugues Leblanc, Charles G. Morgan
Probabilistic semantics for intuitionistic logic. Notre Dame J. Formal Log. 24 (2) (1983)
Hugues Leblanc, Charles G. Morgan
Probability theory, intuitionism, semantics, and the Dutch book argument. Notre Dame J. Formal Log. 24 (3) (1983)
Hugues Leblanc, Bas C. van Fraassen
On Carnap and Popper Probability Functions. J. Symb. Log. 44 (3) (1979)
Hugues Leblanc
Probabilistic Semantics for First-Order Logic. Math. Log. Q. 25 (32) (1979)
Hugues Leblanc
Generalization in first-order logic. Notre Dame J. Formal Log. 20 (4) (1979)
Hugues Leblanc
A strong completeness theorem for 3-valued logic. II. Notre Dame J. Formal Log. 18 (1) (1977)
Robert P. McArthur, Hugues Leblanc
A Completeness Result for Quantificational Tense Logic. Math. Log. Q. 22 (1) (1976)
Hugues Leblanc
, first edition, has a predicative interpretation after all. J. Philos. Log. 4 (1) (1975)
Hugues Leblanc, D. Paul Snyder
Erratum: "Duals of Smullyan trees". Notre Dame J. Formal Log. 15 (4) (1974)
J. Michael Dunn, Hugues Leblanc, Robert K. Meyer
Completeness of relevant quantification theories. Notre Dame J. Formal Log. 15 (1) (1974)
Harold Goldberg, Hugues Leblanc, George Weaver
A strong completeness theorem for 3-valued logic. Notre Dame J. Formal Log. 15 (2) (1974)
Hugues Leblanc, Robert K. Meyer
Matters of separation. Notre Dame J. Formal Log. 13 (2) (1972)
Hugues Leblanc, D. Paul Snyder
Duals of Smullyan trees. Notre Dame J. Formal Log. 13 (3) (1972)
Hugues Leblanc
Matters of relevance. J. Philos. Log. 1 (3-4) (1972)
Hugues Leblanc
Truth-value semantics for a logic of existence. Notre Dame J. Formal Log. 12 (2) (1971)
Hugues Leblanc
Syntactically free, semantically bound. A note on variables. Notre Dame J. Formal Log. 9 (2) (1968)
Richmond H. Thomason, Hugues Leblanc
All or None: A Novel Choice of Primitives for Elementary Logic. J. Symb. Log. 32 (3) (1967)
Hugues Leblanc
Two separation theorems for natural deduction. Notre Dame J. Formal Log. 7 (2) (1966)
Nuel D. Belnap Jr., Hugues Leblanc, Richmond H. Thomason
On not strengthening intuitionistic logic. Notre Dame J. Formal Log. 4 (4) (1963)
Hugues Leblanc
Proof routines for the propositional calculus. Notre Dame J. Formal Log. 4 (2) (1963)
Nuel D. Belnap Jr., Hugues Leblanc
Intuitionism reconsidered. Notre Dame J. Formal Log. 3 (2) (1962)
Hugues Leblanc
Structural rules of inference. Notre Dame J. Formal Log. 3 (3) (1962)
Hugues Leblanc
On a recent allotment of probabilities to open and closed sentences. Notre Dame J. Formal Log. 1 (4) (1960)
Hugues Leblanc
On Requirements for Conditional Probability Functions. J. Symb. Log. 25 (3) (1960)
Hugues Leblanc
On Logically False Evidence Statements. J. Symb. Log. 22 (4) (1957)