Results 1 
5 of
5
Distributive latticestructured ontologies
, 2006
"... Abstract. In this paper we describe a language and method for deriving ontologies and ordering databases. The ontological structures arrived at are distributive lattices with attribution operations that preserve ∨, ∧ and ⊥. The preservation of ∧ allows the attributes to model the natural join operat ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
(Show Context)
Abstract. In this paper we describe a language and method for deriving ontologies and ordering databases. The ontological structures arrived at are distributive lattices with attribution operations that preserve ∨, ∧ and ⊥. The preservation of ∧ allows the attributes to model the natural join operation in databases. We start by introducing ontological frameworks and knowledge bases and define the notion of a solution of a knowledge base. The import of this definition is that it specifies under what condition all information relevant to the domain of interest is present and it allows us to prove that a knowledge base always has a smallest, or terminal, solution. Though universal or initial solutions almost always are infinite in this setting with attributes, the terminal solution is finite in many cases. We describe a method for computing terminal solutions and give some conditions for termination and nontermination. The approach is predominantly coalgebraic, using Priestley duality, and calculations are made
Free Heyting algebras: revisited
"... Abstract. We use coalgebraic methods to describe finitely generated free Heyting algebras. Heyting algebras are axiomatized by rank 01 axioms. In the process of constructing free Heyting algebras we first apply existing methods to weak Heyting algebras—the rank 1 reducts of Heyting algebras—and the ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
Abstract. We use coalgebraic methods to describe finitely generated free Heyting algebras. Heyting algebras are axiomatized by rank 01 axioms. In the process of constructing free Heyting algebras we first apply existing methods to weak Heyting algebras—the rank 1 reducts of Heyting algebras—and then adjust them to the mixed rank 01 axioms. On the negative side, our work shows that one cannot use arbitrary axiomatizations in this approach. Also, the adjustments made for the mixed rank axioms are not just purely equational, but rely on properties of implication as a residual. On the other hand, the duality and coalgebra perspective does allow us, in the case of Heyting algebras, to derive Ghilardi’s (Ghilardi, 1992) powerful representation of finitely generated free Heyting algebras in a simple, transparent, and modular way using Birkhoff duality for finite distributive lattices. 1
Kripke semantics for modal bilattice logic
"... Abstract—We employ the welldeveloped and powerful techniques of algebraic semantics and Priestley duality to set up a Kripke semantics for a modal expansion of Arieli and Avron’s bilattice logic, itself based on Belnap’s fourvalued logic. We obtain soundness and completeness of a Hilbertstyle der ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Abstract—We employ the welldeveloped and powerful techniques of algebraic semantics and Priestley duality to set up a Kripke semantics for a modal expansion of Arieli and Avron’s bilattice logic, itself based on Belnap’s fourvalued logic. We obtain soundness and completeness of a Hilbertstyle derivation system for this logic with respect to fourvalued Kripke frames, the standard notion of model in this setting. The proof is via intermediary relational structures which are analysed through a topological reading of one of the axioms of the logic. Both local and global consequence on the models are covered. I.
On generalizing free algebras for a functor ∗
, 2011
"... In this paper we introduce a new setting, based on partial algebras, for studying constructions of finitely generated free algebras. We give sufficient conditions under which the finitely generated free algebras for a variety V may be described as the colimit of a chain of finite partial algebras ob ..."
Abstract
 Add to MetaCart
(Show Context)
In this paper we introduce a new setting, based on partial algebras, for studying constructions of finitely generated free algebras. We give sufficient conditions under which the finitely generated free algebras for a variety V may be described as the colimit of a chain of finite partial algebras obtained by repeated application of a functor. In particular, our method encompasses the construction of finitely generated free algebras for varieties of algebras for a functor as in [2], Heyting algebras as in [1] and S4 algebras as in [8]. 1