Logic

Research Frontiers in Semantics of Connectives and Logical Operators

Provides foundational analysis of what logical operators mean and how their semantics constrains valid inference patterns and equivalences.

All Logic PhD categories