This is a preview. Log in through your library . Abstract For each intermediate propositional logic $\text{J},\text{J}_{\ast}$ denotes the least predicate extension of J. By the method of canonical ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results