Displaying similar documents to “Exploring the gap between linear and classical logic.”

Upsetting the foundations for mathematics

Lawrence Neff Stout (2005)

Philosophia Scientiae

Similarity:

Starting with a review of the kinds of questions a foundation for mathematics should address, this paper provides a critique of set theoretical foundations, a proposal that multiple interconnected categorical foundations would be an improvement, and a way of recovering set theory within a categorical approach.

Finite sum-product logic.

Cockett, J.R.B., Seely, R.A.G. (2001)

Theory and Applications of Categories [electronic only]

Similarity: