Some recent results on Cohen algebras
Some relational systems and the associated topological spaces
Some Remarks On Boolean Terms - Model Theoretic Approach
Some remarks on Booleean terms - Model theoretic approach.
Some remarks on distributive semilattices
In this paper we shall give a survey of the most important characterizations of the notion of distributivity in semilattices with greatest element and we will present some new ones through annihilators and relative maximal filters. We shall also simplify the topological representation for distributive semilattices given in Celani S.A., Topological representation of distributive semilattices, Sci. Math. Japonicae online 8 (2003), 41–51, and show that the meet-relations are closed under composition....
Spaces of observables
Spectra of differential rings
Spectral resolutions for -complete lattice effect algebras
State space properties of finite logics
States on basic algebras
States on commutative basic algebras were considered in the literature as generalizations of states on MV-algebras. It was a natural question if states exist also on basic algebras which are not commutative. We answer this question in the positive and give several examples of such basic algebras and their states. We prove elementary properties of states on basic algebras. Moreover, we introduce the concept of a state-morphism and characterize it among states. For basic algebras which are the certain...
States on pseudo-effect algebras with general comparability
Statistical estimation of deducibility in polyadic algebras
Strong completeness of the Lambek Calculus with respect to Relational Semantics
In [vB88], Johan van Benthem introduces Relational Semantics (RelSem for short), and states Soundness Theorem for Lambek Calculus (LC) w.r.t. RelSem. After doing this, he writes: "it would be very interesting to have the converse too", i.e., to have Completeness Theorem. The same question is in [vB91, p. 235]. In the following, we state Strong Completeness Theorems for different versions of LC.
Strong endomorphism kernel property for finite Brouwerian semilattices and relative Stone algebras
We show that all finite Brouwerian semilattices have strong endomorphism kernel property (SEKP), give a new proof that all finite relative Stone algebras have SEKP and also fully characterize dual generalized Boolean algebras which possess SEKP.
Strong functors and interleaving fixpoints in game semantics
We describe a sequent calculus μLJ with primitives for inductive and coinductive datatypes and equip it with reduction rules allowing a sound translation of Gödel’s system T. We introduce the notion of a μ-closed category, relying on a uniform interpretation of open μLJ formulas as strong functors. We show that any μ-closed category is a sound model for μLJ. We then turn to the construction of a concrete μ-closed category based on Hyland-Ong game semantics. The model relies on three main ingredients:...
Strong ideals and horizontal ideals in pseudo-BCH-algebras
In this paper we define strong ideals and horizontal ideals in pseudo-BCH-algebras and investigate the properties and characterizations of them.
Structuration cognitive et logique intrinsèque
À travers l'étude d'un modèle de représentation des connaissances comme catégorie de faisceaux de traits localement définis ; ce texte montre que la théorie des topoï permet de décrire formellement l'émergence d'une logique intrinsèque à partir d'une approche relationnelle, qu'elle soit structurale ou cognitive. On peut alors caractériser mathématiquement le défaut d'intensionnalité des modèles classiques, et montrer qu'une solution est dans la mathématisation de structures entièrement relationnelles....
Structures floues et algèbres de Post
Subalgebras and sublogics of -logics