Intensional logic

There are some Intensional logic systems that claim to fully analyze the common language:

[edit] External links

$\lnot(p\land\lnot p)$

This logic-related article is a stub. You can help by expanding it.