Relational semantics, given by Kripke frames, play an essential role in the study of modal and intuitionistic logic. In [4] it is shown that the theory of relational semantics is also available in the more general setting of substructural logic, at least in an algebraic guise. Building on these ideas, in [5] a type of frames is described which generalize Kripke frames and provide semantics for ...

partial frames provide a rich context in which to do pointfree structured and unstructured topology. a small collection of axioms of an elementary nature allows one to do much traditional pointfree topology, both on the level of frames or locales, and that of uniform or metric frames. these axioms are sufficiently general to include as examples bounded distributive lattices, $sigma$-frames, $ka...

The prolongation of a transformation group to jet bundles forms the geometric foundation underlying Lie’s theory of symmetry groups of differential equations, the theory of differential invariants, and the Cartan theory of moving frames. Recent developments in the moving frame theory have necessitated a detailed understanding of the geometry of prolonged transformation groups. This paper begins...

following the categorical approach to universal algebra through algebraic theories, proposed by f.~w.~lawvere in his phd thesis, this paper aims at introducing a similar setting for general topology. the cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. we introduce t...

the generalization of p-frame in banach spaces is considered in this paper. the concepts of an $tilde{x}$-frame and a system conjugate to $tilde{x}$-frame were introduced. analogues of the results on the existence of conjugate system were obtained. the stability of $tilde{x}$-frame having a conjugate system is studied.

Algebraic work [9] shows that the deep theory of possible world semantics is available in the more general setting of substructural logics, at least in an algebraic guise. The question is whether it is also available in a relational form. This article seeks to set the stage for answering this question. Guided by the algebraic theory, but purely relationally we introduce a new type of frames. Th...

0

In this note, the notion of generalized continuous K- frame in a Hilbert space is defined. Examples have been given to exhibit the existence of generalized continuous $K$-frames. A necessary and sufficient condition for the existence of a generalized continuous $K$-frame in terms of its frame operator is obtained and a characterization of a generalized continuous $K$-frame for $ mathcal{H} $ wi...