Logeme shifts and the growth of pragmatism
Else M. Barth (1996)
Philosophia Scientiae
Similarity:
Displaying similar documents to “Preface to the special volume: “Chu spaces: theory and applications'.”
Logeme shifts and the growth of pragmatism
Indexed categories for program development
B. Hilken, D. E. Rydeheard (1991)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Dialectica and Chu constructions: cousins?
de Paiva, Valeria (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Exploring the gap between linear and classical logic.
Lamarche, François (2007)
Theory and Applications of Categories [electronic only]
Similarity:
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.
Preface
Zoran Ognjanović (2009)
Zbornik Radova
Similarity:
Dark age (but not obscure) logic -- a brief excursion.
De Freitas, Antonio (2002)
Boletín de la Asociación Matemática Venezolana
Similarity:
Relevant Categories and Partial Functions
Kosta Došen, Zoran Petrić (2007)
Publications de l'Institut Mathématique
Similarity:
The Dialectica interpretation of first-order classical affine logic.
Shirahata, Masaru (2006)
Theory and Applications of Categories [electronic only]
Similarity:
Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories.
Cockett, J.R.B., Seely, R.A.G. (1997)
Theory and Applications of Categories [electronic only]
Similarity:
Logic of existence and logic of knowledge. Epistemic and non epistemic aspects of logic
Michel Bourdeau (2003)
Philosophia Scientiae
Similarity:
Contrairement à ce qui a parfois été dit, la logique classique et la logique intuitionniste ne s’opposent pas comme une logique de l’existence à une logique de la connaissance. Les considérations épistémologiques trouvent naturellement leur place dans le cadre de la logique classique, sans qu’il soit nécessaire de faire intervenir aucun principe intuitionniste ; il suffit pour cela de reconnaître que la logique ne peut se passer de la notion d’assertion, ou si l’on préfère de jugement....