Abstract
Sequent calculi for trilattice logics, including those that are determined by the truth entailment, the falsity entailment and their intersection, are given. This partly answers the problems in Shramko-Wansing (J Philos Logic 34:121---153, 2005).
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have