#### Filter Results:

- Full text PDF available (0)

#### Publication Year

1979

1982

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Journals and Conferences

Learn More

- Robert E. Kirk
- Math. Log. Q.
- 1981

- Robert E. Kirk
- Notre Dame Journal of Formal Logic
- 1982

- Robert E. Kirk
- Math. Log. Q.
- 1980

- Robert E. Kirk
- Math. Log. Q.
- 1979

It was claimed by MCKAY [l] that the set of all finite binary trees is a characteristic set of Kripke frames for the intuitionistic propositional logic (I). This claim, however, was shown to be false by GABBAY and DEJONGH [2] who exhibited an I-invalid formula which holds in any structure based on a frame consisting of a finite binary tree. It is shown in… (More)

- ‹
- 1
- ›