We introduce a new concept in the area of formal logic: axioms for model morphisms. We work in the setting of specification languages that define the semantics of a theory as a category of models. While it is routine to use axioms to specify the class of models of a theory, there has so far been no analogue to systematically specify the morphisms between these models. This leads to subtle probl...

The main objective of this paper is to add one more brick in building the CG model as a knowledge representation model autonomous from logic. The CG model is not only a graphical representation of logic, it is much more: it is a declarative model encoding knowledge in a mathematical theory, namely labelled graph theory, which has eecient computable forms, with a fundamental graph operation on t...

We assume the reader is familiar with the basic definitions relating to undirected graphs and linear incidence system or point-line geometry (as a standard reference see [2]). In particular: the distance function, a geodesic path, and diameter of a graph; the collinearity graph of a point-line geometry 1=(P, L), a subspace of 1, the subspace (X)1 generated by a subset X of P, and convex subspac...

the rings considered in this article are commutative with identity $1neq 0$. by a proper ideal of a ring $r$,  we mean an ideal $i$ of $r$ such that $ineq r$.  we say that a proper ideal $i$ of a ring $r$ is a  maximal non-prime ideal if $i$ is not a prime ideal of $r$ but any proper ideal $a$ of $r$ with $ isubseteq a$ and $ineq a$ is a prime ideal. that is, among all the proper ideals of $r$,...

1 Definitions Definition 1. A graded ring is a ring S together with a set of subgroups Sd, d ≥ 0 such that S = ⊕ d≥0 Sd as an abelian group, and st ∈ Sd+e for all s ∈ Sd, t ∈ Se. One can prove that 1 ∈ S0 and if S is a domain then any unit of S also belongs to S0. A homogenous ideal of S is an ideal a with the property that for any f ∈ a we also have fd ∈ a for all d ≥ 0. A morphism of graded r...

We describe and prove uniqueness of a natural homomorphism (called the Orchard morphism) between some groups associated to finite sets.