The following pages link to Dolph Ulrich (Q220719):
Displaying 25 items.
- The finite model property and recursive bounds on the size of countermodels (Q1063587) (← links)
- A five-valued model of the E-p-q-theses (Q1101104) (← links)
- RMLC: Solution to a problem left open by Lemmon (Q1141638) (← links)
- On a modal system of R. A. Bull's (Q1220918) (← links)
- Semantics for S4.1.2 (Q1227598) (← links)
- Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus (Q1869616) (← links)
- The shortest possible length of the longest implicational axiom (Q1914373) (← links)
- Some results concerning finite models for sentential calculi (Q2544394) (← links)
- Single Axioms and Axiom-Pairs for the Implicational Fragments of $$\mathbf {R}$$ R , R-Mingle, and Some Related Systems (Q3305420) (← links)
- ANSWER TO A QUESTION SUGGESTED BY SCHUMM (Q3346283) (← links)
- (Q3433180) (← links)
- (Q3435243) (← links)
- (Q3491521) (← links)
- (Q3684107) (← links)
- A Descending Chain of Incomplete Extensions of Implicational S 5 (Q3698776) (← links)
- (Q3781078) (← links)
- On a Property of Matrices for Subsystems of IC<sup>+</sup> (Q4116430) (← links)
- Generalization of a Result of Pahi's (Q4133940) (← links)
- ON THE INCOMPLETENESS OF A DESCENDING CHAIN OF EXTENSIONS OF IMPLICATIONAL S5 (Q4295212) (← links)
- (Q4315297) (← links)
- (Q4489081) (← links)
- (Q5411444) (← links)
- (Q5413326) (← links)
- Shorter Note: Solution to a Problem Posed by Kalicki (Q5607212) (← links)
- A legacy recalled and a tradition continued (Q5951525) (← links)
