A constructive proof of the Tychonoff's theorem for locales
A logic of injectivity.
A note on categories enriched in quantaloids and modal and temporal logic
A propos d'un théorème de MacIntyre
Algebraic and relational semantics for tense logics
Algebraic aspects of topos theory
Algebraic de Morgan's laws for non-commutative rings
Algebraic models of intuitionistic theories of sets and classes.
Algebraic real analysis.
Boolean spectra and model completions
Calcul syntaxique des modèles et calcul des formules internes
Carrés exacts et carrés déductifs
Categorical domain theory: Scott topology, powercategories, coherent categories.
Category-theoretic models of linear Abadi & Plotkin logic.
Coalgebras for binary methods : properties of bisimulations and invariants
Coalgebras for endofunctors can be used to model classes of object-oriented languages. However, binary methods do not fit directly into this approach. This paper proposes an extension of the coalgebraic framework, namely the use of extended polynomial functors . This extension allows the incorporation of binary methods into coalgebraic class specifications. The paper also discusses how to define bisimulation and invariants for coalgebras of extended polynomial functors and proves many standard...
Coalgebras for Binary Methods: Properties of Bisimulations and Invariants
Coalgebras for endofunctors can be used to model classes of object-oriented languages. However, binary methods do not fit directly into this approach. This paper proposes an extension of the coalgebraic framework, namely the use of extended polynomial functors. This extension allows the incorporation of binary methods into coalgebraic class specifications. The paper also discusses how to define bisimulation and invariants for coalgebras of extended polynomial functors and proves many...
Coherence for pseudodistributive laws revisited.
Coherence of the double involution on -autonomous categories.
Compactness and Löwenheim-Skolem properties in categories of pre-institutions
The abstract model-theoretic concepts of compactness and Löwenheim-Skolem properties are investigated in the "softer" framework of pre-institutions [18]. Two compactness results are presented in this paper: a more informative reformulation of the compactness theorem for pre-institution transformations, and a theorem on natural equivalences with an abstract form of the first-order pre-institution. These results rely on notions of compact transformation, which are introduced as arrow-oriented generalizations...
Complétion et complétude selon H. Andreka et I. Nemeti