Hugues Leblanc - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

1999

Absolute Probability Functions for Intuitionistic Propositional LogicPeter Roeper, Hugues Leblanc. jphil, 28(3):223-234, 1999. [doi]

1995

Consequence and ConfirmationPeter Roeper, Hugues Leblanc. ndjfl, 36(3):341-363, 1995.

1991

Henkin s Completeness Proof: Forty Years LaterHugues Leblanc, Peter Roeper, Michael Thau, George Weaver. ndjfl, 32(2):212-232, 1991.

Indiscernability and Identiy in Probability TheoryPeter Roeper, Hugues Leblanc. ndjfl, 32(1):1-46, 1991.

1990

Extending ω-consistent sets to maximally consistent, ω-complete setsGeorge Weaver, Michael Thau, Hugues Leblanc. mlq, 36(5):381-383, 1990. [doi]

1989

On Relativizing Kolmogorov s Absolute Probability FunctionsHugues Leblanc, Peter Roeper. ndjfl, 30(4):485-512, 1989.

1983

Annual Meeting of the Association for Symbolic Logic: Philadelphia 1981Simon Kochen, Hugues Leblanc, Charles D. Parsons. JSYML, 48(3):898-910, 1983.

Probability theory, intuitionism, semantics, and the Dutch book argumentHugues Leblanc, Charles G. Morgan. ndjfl, 24(3):289-304, 1983. [doi]

Probabilistic semantics for intuitionistic logicHugues Leblanc, Charles G. Morgan. ndjfl, 24(2):161-180, 1983. [doi]

Probability functions and their assumption sets - the singulary caseHugues Leblanc. jphil, 12(4):379-402, 1983. [doi]

1979

On Carnap and Popper Probability FunctionsHugues Leblanc, Bas C. van Fraassen. JSYML, 44(3):369-373, 1979.

Generalization in first-order logicHugues Leblanc. ndjfl, 20(4):835-857, 1979. [doi]

Probabilistic Semantics for First-Order LogicHugues Leblanc. mlq, 25(32):497-509, 1979. [doi]

1977

A strong completeness theorem for 3-valued logic. IIHugues Leblanc. ndjfl, 18(1):107-116, 1977. [doi]

1976

A Completeness Result for Quantificational Tense LogicRobert P. McArthur, Hugues Leblanc. mlq, 22(1):89-96, 1976. [doi]

1975

Principia mathematica, first edition, has a predicative interpretation after allHugues Leblanc. jphil, 4(1):67-70, 1975. [doi]

1974

Completeness of relevant quantification theoriesJ. Michael Dunn, Hugues Leblanc, Robert K. Meyer. ndjfl, 15(1):97-121, 1974. [doi]

A strong completeness theorem for 3-valued logicHarold Goldberg, Hugues Leblanc, George Weaver. ndjfl, 15(2):325-330, 1974. [doi]

Erratum: "Duals of Smullyan trees"Hugues Leblanc, D. Paul Snyder. ndjfl, 15(4):648, 1974. [doi]

1972

Duals of Smullyan treesHugues Leblanc, D. Paul Snyder. ndjfl, 13(3):387-393, 1972. [doi]

Matters of separationHugues Leblanc, Robert K. Meyer. ndjfl, 13(2):229-236, 1972. [doi]

Matters of relevanceHugues Leblanc. jphil, 1(3-4):269-286, 1972. [doi]

1971

Truth-value semantics for a logic of existenceHugues Leblanc. ndjfl, 12(2):153-168, 1971. [doi]

1968

Subformula Theorems for N-SequentsHugues Leblanc. JSYML, 33(2):161-179, 1968.

Syntactically free, semantically bound. A note on variablesHugues Leblanc. ndjfl, 9(2):167-170, 1968. [doi]

1967

All or None: A Novel Choice of Primitives for Elementary LogicRichmond H. Thomason, Hugues Leblanc. JSYML, 32(3):345-351, 1967.

1966

Two separation theorems for natural deductionHugues Leblanc. ndjfl, 7(2):159-180, 1966. [doi]

1963

On not strengthening intuitionistic logicNuel D. Belnap Jr., Hugues Leblanc, Richmond H. Thomason. ndjfl, 4(4):313-320, 1963. [doi]

Proof routines for the propositional calculusHugues Leblanc. ndjfl, 4(2):81-104, 1963. [doi]

1962

Intuitionism reconsideredNuel D. Belnap Jr., Hugues Leblanc. ndjfl, 3(2):79-82, 1962. [doi]

Structural rules of inferenceHugues Leblanc. ndjfl, 3(3):201-205, 1962. [doi]

1960

On Requirements for Conditional Probability FunctionsHugues Leblanc. JSYML, 25(3):238-242, 1960.

On a recent allotment of probabilities to open and closed sentencesHugues Leblanc. ndjfl, 1(4):171-175, 1960. [doi]

1957

On Logically False Evidence StatementsHugues Leblanc. JSYML, 22(4):345-349, 1957.

Sign in or sign up to see more results.

runs on WebDSL