A Hypersequent Calculus with Clusters for Linear Frames Article Swipe

modal logic mathematics fragment (logic) modal core (optical fiber) computer science algorithm linear temporal logic time complexity calculus (dental) computational complexity theory t-norm fuzzy logics discrete mathematics artificial intelligence fuzzy set polymer chemistry telecommunications membership function medicine fuzzy logic chemistry dentistry