SAS-Space, for world class research

Latest additions

Intensional First-Order Logic with Types

Actions (login required)

View Item View Item

Intensional First-Order Logic with Types


Article

Lappin, Shalom and Fox, C and Pollard, C (2002) Intensional First-Order Logic with Types.


Item Type: Article
Additional Information: Citation: In G. Alberti, K. Balough, and P. Dekker (eds.), "Proceedings of the Seventh Symposium for Logic and Language", 47-56.
Subjects: Philosophy
Keywords: First-order logic, Types
Divisions: Institute of Philosophy
Collections: London Philosophy Papers
Depositing User:
URI: http://sas-space.sas.ac.uk/id/eprint/866
Files available for downloadg
[img]
Preview
FilenameS_Lappin_Types.pdf
File size240kB
Download
License termsAvailable to public