This paper attempts to generalize universal algebras on classical sets to $L$-sets when $L$ is a GL-quantale. Some basic notions of fuzzy universal algebra on an $L$-set are introduced, such as subalgebra, quotient algebra, homomorphism, congruence, and direct product etc. The properties of them are studied. $L$-valued power algebra is also introduced and it is shown there is an onto homomorphi...

We derive consequences from the existence of a term which satisfies Mal’cev identities (characterizing permutability) modulo two functions F and G from admissible relations to admissible relations. We also provide characterizations of varieties having a Mal’cev term modulo F and G. Given an algebra A, let Adm(A) denote the set of all reflexive and admissible relations on A (we shall use the wor...

This is a historical-critical study of the hole argument, concentrating on the interface between historical, philosophical and physical issues. Although it includes a review of its history, its primary aim is a discussion of the contemporary implications of the hole argument for physical theories based on dynamical, background-independent space-time structures. The historical review includes Ei...

We present a proof-theoretic foundation for automated deduction in linear logic. At rst, we systematically study the permutability properties of the inference rules in this logical framework and exploit these to introduce an appropriate notion of forward and backward movement of an inference in a proof. Then we discuss the naturally-arising question of the redundancy reduction and investigate t...

A Clifford algebra model for Möbius geometry is presented. The notion of Ribaucour pairs of orthogonal systems in arbitrary dimensions is introduced, and the structure equations for adapted frames are derived. These equations are discretized and the geometry of the occuring discrete nets and sphere congruences is discussed in a conformal setting. This way, the notions of “discrete Ribaucour con...