We combine a variety of constructive methods (including forcing, realizability, asymmetric interpretation), to obtain consistency results concerning combinatory logic with extensionality and (forms of ...
Combinatory logic is known to be related to substructural logics. Algebraic considerations of the latter, in particular, algebraic considerations of two distinct implications (→, ←), led to the ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback