It is shown that axiomatic extensions of intuitionistic propositional calculus defining univocally new connectives, including those proposed by Gabbay, are strongly complete with respect to valuations ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback