intensional logic

listen to the pronunciation of intensional logic
English - English
A formal deductive system able to represent the distinction between intension and extension of a term
intensional logic
Favorites