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 ...
A CONSISTENT COMBINATORY LOGIC WITH AN INVERSE TO EQUALITY 537 is not left-hand closed for its own members since a left-hand ' = ab'-transform of an equation would not, for some 'a' and 'b', be an ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback