The following pages link to Intensional logic in context (Q2758292):
Displaying 6 items.
- Tractable reasoning using logic programs with intensional concepts (Q2055806) (← links)
- Intensional programming I. Based on the papers at ISLIP '95, Macquarie Univ., Sydney, NSW, Australia 3--5, 1995 (Q2742788) (← links)
- Vmake and ISE general tools for the intensionalization of software systems (Q2758323) (← links)
- (Q3313846) (← links)
- (Q3491525) (← links)
- Leibnizian Intensional Semantics for Syllogistic Reasoning (Q5259664) (← links)