22 papers
Relational Operations in FOLE
Robert E. Kent
This paper discusses relational operations in the first-order logical environment {FOLE}. Here we demonstrate how FOLE expresses the relational operations of database theory in a c…
Conceptua: Institutions in a Topos
Robert E. Kent
Tarski's semantic definition of truth is the composition of its extensional and intensional aspects. Abstract satisfaction, the core of the semantic definition of truth, is the bas…
The IFF Approach to the Lattice of Theories
Robert E. Kent
The IFF approach for the notion of "lattice of theories" uses the idea of a concept lattice from Formal Concept Analysis (Ganter and Wille) and the idea of the truth classification…
Conceptual Analysis of Resource Meta-information
Christian Neuss, Robert E. Kent
It's ease of use and the availability of browsers for various platforms have paved the way for the enormous popularity that the World Wide Web currently enjoys. In the near future,…
Soft Concept Analysis
Robert E. Kent
In this chapter we discuss soft concept analysis, a study which identifies an enriched notion of "conceptual scale" as developed in formal concept analysis with an enriched notion…
Enriched Interpretation
Robert E. Kent
The theory introduced, presented and developed in this paper, is concerned with an enriched extension of the theory of Rough Sets pioneered by Zdzislaw Pawlak. The enrichment discu…