Dolph Ulrich - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2002

Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential CalculusLarry Wos, Dolph Ulrich, Branden Fitelson. JAR, 29(2):107-124, 2002.

2001

A Legacy Recalled and a Tradition ContinuedDolph Ulrich. JAR, 27(2):97-122, 2001.

1996

The shortest possible length of the longest implicational axiomDolph Ulrich. jphil, 25(1):101-108, 1996. [doi]

1992

On the Incompleteness of a Descending Chain of Extensions of Implicational S5Dolph Ulrich. mlq, 38(1):321-323, 1992. [doi]

1988

A five-valued model of the E-p-q-thesesDolph Ulrich. ndjfl, 29(1):137-138, 1988. [doi]

1985

A Descending Chain of Incomplete Extensions of Implicational S 5Dolph Ulrich. mlq, 31(13):201-208, 1985. [doi]

1984

Answer to a Question Suggested by SchummDolph Ulrich. mlq, 30(25):385-387, 1984. [doi]

1983

The finite model property and recursive bounds on the size of countermodelsDolph Ulrich. jphil, 12(4):477-480, 1983. [doi]

1981

RMLC: solution to a problem left open by LemmonDolph Ulrich. ndjfl, 22(2):187-189, 1981. [doi]

Strict Implication in A Sequence of Extensions of S4Dolph Ulrich. mlq, 27(13-14):201-212, 1981. [doi]

1978

Semantics for S4.1.2Dolph Ulrich. ndjfl, 19(3):461-464, 1978. [doi]

1976

On a modal system of R. A. Bull'sDolph Ulrich. ndjfl, 17(3):479-480, 1976. [doi]

Generalization of a Result of Pahi'sDolph Ulrich. mlq, 22(1):437-438, 1976. [doi]

+Dolph Ulrich. mlq, 22(1):193-194, 1976. [doi]

1974

Erratum: "Some results concerning finite models for sentential calculi"Dolph Ulrich. ndjfl, 15(4):648, 1974. [doi]

1972

Some results concerning finite models for sentential calculiDolph Ulrich. ndjfl, 13(3):363-368, 1972. [doi]

Sign in or sign up to see more results.

runs on WebDSL