intensional logic

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