Abstract

Assuming that Term Functor Logic behaves as a free logic, in this contribution we modify its tableaux proof method in order to accommodate typical (in)valid inferences of free logic.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call