Natural deduction and coherence for non-symmetric linearly distributive categories.
Natural dualities for varieties of distributive lattices with a quantifier
Negation operations definable on finite distributive lattices
New kinds of hybrid filters of EQ-algebras
The main goal of this paper is to introduce hybrid positive implicative and hybrid implicative (pre)filters of EQ-algebras. In the following, some characterizations of this hybrid (pre)filters are investigated and it is proved that the quotient algebras induced by hybrid positive implicative filters in residuated EQ-algebras are idempotent and residuated EQ-algebra. Moreover, the relationship between hybrid implicative prefilters and hybrid positive implicative prefilters are discussed and it is...
Nonatomic states
Nonstandard implication algebras
Nonstandard implication algebras
Note on a construction of unbounded measures on a nonseparable Hilbert space quantum logic
Note on -filters in distributive nearlattices
In this short paper we introduce the notion of -filter in the class of distributive nearlattices and we prove that the -filters of a normal distributive nearlattice are strongly connected with the filters of the distributive nearlattice of the annihilators.
Note über den Operationskreis des Logikcalculs
Notes on monadic -valued Łukasiewicz algebras
A topological duality for monadic -valued Łukasiewicz algebras introduced by M. Abad (Abad, M.: Estructuras cíclica y monádica de un álgebra de Łukasiewicz -valente. Notas de Lógica Matemática 36. Instituto de Matemática. Universidad Nacional del Sur, 1988) is determined. When restricted to the category of -distributive lattices and -homomorphims, it coincides with the duality obtained by R. Cignoli in 1991. A new characterization of congruences by means of certain closed and involutive subsets...
Notions of flatness relative to a Grothendieck topology.
Numerology in topoi.