Logic

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Bi-Intuitionistic Logic and Exclusion

Study of logics combining intuitionistic and dual-intuitionistic principles for reasoning about both assertion and exclusion.