Infinite Forcing for Boolean valued Models
La catégorie des algèbres quantifiées
La neige est blanche ssi... Prédication et perception
L'article traite des liens entre la syntaxe et la sémantique formelle (de nature logique) des jugements perceptifs et leur contenu proprement perceptif (de nature géométrique). Dans les situations les plus élémentaires le contenu perceptif se ramène à des remplissements de domaines spatiaux (l'extension des objets) par des qualités sensibles (couleurs, textures, etc.). Ces remplissements sont descriptibles par des sections de fibrations appropriées, qui sont des cas particuliers de faisceaux. Il...
Laminations, or How to Build a Quantum-Logic-Valued Model of Set Theory.
L’autre axiome du choix
L’« axiome du choix simple » est le principe selon lequel on peut choisir un élément dans tout ensemble non vide. Cet « autre axiome du choix » a une histoire paradoxale et riche, dont la première partie de cet article recherche les traces et repère les enjeux. Apparaissent comme décisifs le statut de la théorie des ensembles dans les mathématiques intuitionnistes, mais aussi la tension croissante entre technicisation de la logique et réflexion épistémologique des mathématiciens. La deuxième partie...
Lax descent theorems for left exact categories [Book]
Le lien entre la logique et la géométrie via les esquisses
Localic completion of generalized metric spaces I.
Logique, catégories et faisceaux
Logique de la géométrie algébrique
L'universalité des semi-fonctions récursives universelles
Many-sorted coalgebraic modal logic : a model-theoretic study
This paper gives a semantical underpinning for a many-sorted modal logic associated with certain dynamical systems, like transition systems, automata or classes in object-oriented languages. These systems will be described as coalgebras of so-called polynomial functors, built up from constants and identities, using products, coproducts and powersets. The semantical account involves Boolean algebras with operators indexed by polynomial functors, called MBAOs, for Many-sorted Boolean Algebras with...
Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
This paper gives a semantical underpinning for a many-sorted modal logic associated with certain dynamical systems, like transition systems, automata or classes in object-oriented languages. These systems will be described as coalgebras of so-called polynomial functors, built up from constants and identities, using products, coproducts and powersets. The semantical account involves Boolean algebras with operators indexed by polynomial functors, called MBAOs, for Many-sorted Boolean Algebras with...
Modality in open Institutions with Concrete Syntax
Natural deduction and coherence for non-symmetric linearly distributive categories.
Notions of flatness relative to a Grothendieck topology.
Numerology in topoi.
On a Foundation for Mathematics- a View of Mathematics I
On quantic conuclei in orthomodular lattices.
On the axiomatisation of Boolean categories with and without medial.