Yes of course we can get away from defining any new systems of logic by simply taking working with different kinds of relations or functions in our classical logic. This doesn't show that non-classical logics are…
I was making a joke about the name...
Actually you'd want to save it as (1 . (2 . (4 . (8 . NIL)))) since o/w you'd still get quadratic time complexity as you need to unpack your whole list when you add the next value.
Yes of course we can get away from defining any new systems of logic by simply taking working with different kinds of relations or functions in our classical logic. This doesn't show that non-classical logics are…
I was making a joke about the name...
Actually you'd want to save it as (1 . (2 . (4 . (8 . NIL)))) since o/w you'd still get quadratic time complexity as you need to unpack your whole list when you add the next value.