Results 61 to 70 of about 558 (113)
C-system of a module over a monad on sets [PDF]
, 2014 This is the second paper in a series that aims to provide mathematical descriptions of objects and constructions related to the first few steps of the semantical theory of dependent type systems. We construct for any pair $(R,LM)$, where $R$ is a monad
Voevodsky, Vladimir
core
, 2013 The half-open real unit interval (0,1] is closed under the ordinary multiplication and its residuum. The corresponding infinite-valued propositional logic has as its equivalent algebraic semantics the equational class of cancellative hoops.
Panti, Giovanni, Ravotti, Davide
core +1 more source
Filters of strong Sheffer stroke non-associative MV-algebras
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2021 In this paper, at first we study strong Sheffer stroke NMV-algebra. For getting more results and some classification, the notions of filters and subalgebras are introduced and studied.
Oner Tahsin +3 more
doaj +1 more source
A C-system defined by a universe category [PDF]
, 2015 This is a major update of the previous version. The methods of the paper are now fully constructive and the style is "formalization ready" with the emphasis on the possibility of formalization both in type theory and in constructive set theory without ...
Voevodsky, Vladimir
core
Gődel filters in residuated lattices
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2021 In this paper, in the spirit of [4], we study a new type of filters in residuated lattices : Gődel filters. So, we characterize the filters for which the quotient algebra that is constructed via these filters is a Gődel algebra and we establish the ...
Piciu Dana +2 more
doaj +1 more source
Weakly Ordered A-Commutative Partial Groups of Linear Operators Densely Defined on Hilbert Space [PDF]
, 2017 The notion of a generalized effect algebra is presented as a generalization of effect algebra for an algebraic description of the structure of the set of all positive linear operators densely defined on a Hilbert space with the usual sum of operators ...
Janda , Jirí
core
On some generalizations of BCC-algebras
, 2012 We describe weak BCC-algebras (also called BZ-algebras) in which the condition $(xy)z=(xz)y$ is satisfied only in the case when elements $x,y$ belong to the same branch.
Dudek, Wieslaw A., Thomys, Janus
core +1 more source
Finite Distributive Concept Algebras [PDF]
, 2018 Concept algebras are concept lattices enriched by a weak negation and a weak opposition. In Ganter and Kwuida (Contrib. Gen. Algebra, 14:63-72, 2004) we gave a contextual description of the lattice of weak negations on a finite lattice.
Ganter, Bernhard, Kwuida, Léonard
core
Generalized state maps and states on pseudo equality algebras
Open Mathematics, 2018 In this paper, we attempt to cope with states in a universal algebraic setting, that is, introduce a notion of generalized state map from a pseudo equality algebra X to an arbitrary pseudo equality algebra Y.
Cheng Xiao Yun +2 more
doaj +1 more source
Open Mathematics, 2018 In this paper, we introduce the notion of state maps from a semihoop H1 to another semihoop H2, which is a generalization of internal states (or state operators) on a semihoop H.
Fu Yu Long, Xin Xiao Long, Wang Jun Tao
doaj +1 more source