Hugues Leblanc

According to our database, Hugues Leblanc authored at least 36 papers between 1957 and 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

1999

Absolute Probability Functions for Intuitionistic Propositional Logic.

Peter Roeper, Hugues Leblanc

J. Philos. Log., 1999

1995

Consequence and Confirmation.

Peter Roeper, Hugues Leblanc

Notre Dame J. Formal Log., 1995

1991

Indiscernability and Identiy in Probability Theory.

Peter Roeper, Hugues Leblanc

Notre Dame J. Formal Log., 1991

Henkin's Completeness Proof: Forty Years Later.

Hugues Leblanc, Peter Roeper, Michael Thau, George Weaver

Notre Dame J. Formal Log., 1991

1990

Extending ω-consistent sets to maximally consistent, ω-complete sets.

George Weaver, Michael Thau, Hugues Leblanc

Math. Log. Q., 1990

1989

On Relativizing Kolmogorov's Absolute Probability Functions.

Hugues Leblanc, Peter Roeper

Notre Dame J. Formal Log., 1989

1983

Probability theory, intuitionism, semantics, and the Dutch book argument.

Hugues Leblanc, Charles G. Morgan

Notre Dame J. Formal Log., 1983

Probabilistic semantics for intuitionistic logic.

Hugues Leblanc, Charles G. Morgan

Notre Dame J. Formal Log., 1983

Annual Meeting of the Association for Symbolic Logic: Philadelphia 1981.

Simon Kochen, Hugues Leblanc, Charles D. Parsons

J. Symb. Log., 1983

Probability functions and their assumption sets - the singulary case.

Hugues Leblanc

J. Philos. Log., 1983

1979

Generalization in first-order logic.

Hugues Leblanc

Notre Dame J. Formal Log., 1979

Probabilistic Semantics for First-Order Logic.

Hugues Leblanc

Math. Log. Q., 1979

On Carnap and Popper Probability Functions.

Hugues Leblanc, Bas C. van Fraassen

J. Symb. Log., 1979

1977

A strong completeness theorem for 3-valued logic. II.

Hugues Leblanc

Notre Dame J. Formal Log., 1977

1976

A Completeness Result for Quantificational Tense Logic.

Robert P. McArthur, Hugues Leblanc

Math. Log. Q., 1976

1975

That <i>Principia mathematica</i>, first edition, has a predicative interpretation after all.

Hugues Leblanc

J. Philos. Log., 1975

1974

Erratum: "Duals of Smullyan trees".

Hugues Leblanc, D. Paul Snyder

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

Completeness of relevant quantification theories.

J. Michael Dunn, Hugues Leblanc, Robert K. Meyer

Notre Dame J. Formal Log., 1974

1972

Duals of Smullyan trees.

Hugues Leblanc, D. Paul Snyder

Notre Dame J. Formal Log., 1972

Matters of separation.

Hugues Leblanc, Robert K. Meyer

Notre Dame J. Formal Log., 1972

Matters of relevance.

Hugues Leblanc

J. Philos. Log., 1972

1971

Truth-value semantics for a logic of existence.

Hugues Leblanc

Notre Dame J. Formal Log., 1971

1968

Syntactically free, semantically bound. A note on variables.

Hugues Leblanc

Notre Dame J. Formal Log., 1968

On Meyer and Lambert's Quantificational Calculus FQ.

Hugues LeBlanc

J. Symb. Log., 1968

A Simplified Account of Validity and Implication for Quantificational Logic.

Hugues LeBlanc

J. Symb. Log., 1968

Subformula Theorems for N-Sequents.

Hugues LeBlanc

J. Symb. Log., 1968

1967

All or None: A Novel Choice of Primitives for Elementary Logic.

Richmond H. Thomason, Hugues Leblanc

J. Symb. Log., 1967

1966

Two separation theorems for natural deduction.

Hugues Leblanc

Notre Dame J. Formal Log., 1966

1963

Proof routines for the propositional calculus.

Hugues Leblanc

Notre Dame J. Formal Log., 1963

On not strengthening intuitionistic logic.

Nuel D. Belnap Jr., Hugues Leblanc, Richmond H. Thomason

Notre Dame J. Formal Log., 1963

1962

Structural rules of inference.

Hugues Leblanc

Notre Dame J. Formal Log., 1962

Intuitionism reconsidered.

Nuel D. Belnap Jr., Hugues Leblanc

Notre Dame J. Formal Log., 1962

1960

On a recent allotment of probabilities to open and closed sentences.

Hugues Leblanc

Notre Dame J. Formal Log., 1960

On Requirements for Conditional Probability Functions.

Hugues Leblanc

J. Symb. Log., 1960

1957

On Logically False Evidence Statements.

Hugues Leblanc

J. Symb. Log., 1957