
Authors:
Ewa GRACZYNSKA
Title:A Note on Hyperidentities
Pages:19
File:bibtex
Abstract ( + )
We point out the role of the notion of a hyperidentity and a derived variety as a generalization of the classical notion of duality in case of distributive lattices. We invented and described the notion of a hypersubstitution of a given type and the notion of a derived variety D(V) for a given variety V. We considered the well known notion of a derived variety V_{σ} of a given variety V by a given hypersubstitution σ and advertised this notion as a tool for exploring the lattice of all subvarieties of a given variety.
In this note we examine some more properties of derived varieties by a given hypersubstitution σ from H(τ) in the lattice of all varieties of a given type τ. The research has been inspired by the author's manyyears cooperation with professor Dietmar Schweigert, Technical University of Kaiserslautern, Kaiserslautern, Germany and presnted on AAA 75 and 23 CYA Conference at the University of Technology, Darmstadt, Germany on 2nd November 2007.

Authors:
George KOLETSOS
Title:Standard Normalization for Infinite Typed Terms
Pages:1118
File:bibtex
Abstract ( + )
We prove that for the typed version of the infinite λcalculus (i.e. λcalculus with infinitely long terms) there is a standard, finite like reduction to attain the normal form. This is accomplished by using the notion of the outer reduction in which we contract only redexes of the outer finite surface of the term.

Authors:
Gemma ROBLES
Title:A Note on the NonInvolutive Routley Star
Pages:1927
File:bibtex
Abstract ( + )
In this note, we define a series of logics included in RMingle and without the axiom of elimination of double negation.

Authors:
Tarek Sayed AHMED
Title:A Note on Atom Structures of Relation and Cylindric Algebras
Pages:2935
File:bibtex
Abstract ( + )
[Abstract]

Authors:
Tarek Sayed AHMED
Title:Amalgamation for Reducts of Polyadic Equality Algebras, a Negative Result
Pages:3750
File:bibtex
Abstract ( + )
[Abstract]

Authors:
Tarek Sayed AHMED
Title:The class of neat reducts is not Boolean closed
Pages:5161
File:bibtex
Abstract ( + )
[Abstract]