MathDB1 problem
- 0 votes0 replies0 views
Inverse correspondence between base-extension and Kripke validity
Let B-eS denote the paper's base-extension semantics, and let validity in B-eS, validity in the Kripke semantics, and the stated theorem be understood as in the paper. Inverse-vali…