Abstract
A sufficient condition for an extension of positive logic with strong negation to be characterized by a class of finite trees is given.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have