A method for constructing continua of logics squeezed between some intermediate predicate logics, developed by Suzuki [8], is modified and applied to intervals of the form [L, L + ¬¬S], where L is a ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results