[FOM] illative logic

Arnold Neumaier Arnold.Neumaier at univie.ac.at
Mon Mar 26 08:39:47 EDT 2012

Previous message: [FOM] Constructivity in Logic Conference
Next message: [FOM] illative logic
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

What is the origin of the term ''illative'' in illative combinatory 
logic? What does it mean?

Previous message: [FOM] Constructivity in Logic Conference
Next message: [FOM] illative logic
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list