Tense De Morgan S4-algebras

In [Tense operators on De Morgan algebras, Log. J. IGPL 22(2) (2014) 255–267], Figallo and Pelaitay introduced the notion of tense operators on De Morgan algebras. Also, other notions of tense operators on De Morgan algebras were given by Chajda and Paseka in [De Morgan algebras with tense operators, J. Mult.-Valued Logic Soft Comput. 1 (2017) 29–45; The Poset-based logics for the De Morgan negation and set representation of partial dynamic De Morgan algebras, J. Mult.-Valued Logic Soft Comput. 31(3) (2018) 213–237; Set representation of partial dynamic De Morgan algebras, in 2016 IEEE 46th Int. Symp. Multiple-Valued Logic (IEEE Computer Society, 2016), pp. 119–124]. In this paper, we introduce a new notion of tense operators on De Morgan algebras and define the class of tense De Morgan [Formula: see text]-algebras. The main purpose of this paper is to give a discrete duality for tense De Morgan [Formula: see text]-algebras. To do this, we will extend the discrete duality given in [W. Dzik, E. Orłowska and C. van Alten, Relational Representation Theorems for Lattices with Negations: A Survey, Lecture Notes in Computer Science (2006), pp. 245–266], for De Morgan algebras.

Presentations of Authorship in Knowledge Organization

The “author” is a concept central to many publication and documentation practices, often carrying legal, professional, social, and personal importance. Typically viewed as the solitary owner of their creations, a person is held responsible for their work and positioned to receive the praise and criticism that may emerge in its wake. Although the role of the individual within creative production is undeniable, literary (Foucault 1977; Bloom 1997) and knowledge organization (Moulaison et. al. 2014) theorists have challenged the view that the work of one person can-or should-be fully detached from their professional and personal networks. As these relationships often provide important context and reveal the role of community in the creation of new things, their absence from catalog records presents a falsely simplified view of the creative process. Here, we address the consequences of what we call the “author-as-owner” concept and suggest that an “author-as-node” approach, which situates an author within their networks of influence, may allow for more relational representation within knowledge organization systems, a framing that emphasizes rather than erases the messy complexities that affect the production of new objects and ideas.

Discrete duality for De Morgan Algebras with operators

A discrete duality is a relationship between classes of algebras and classes of relational systems (frames). In this paper, discrete dualities are presented for De Morgan algebras with various kind of unary operators. To do this, we will extend the discrete duality given in [W. Dzik, E. Orłowska and C. van Alten, Relational representation theorems for general lattices with negations, in Relations and Kleene Algebra in Computer Science, Lecture Notes in Computer Science, Vol. 4136 (Springer, Berlin, 2006), pp. 162–176], for De Morgan algebras.

Refining the bigger picture: On the integrative memory model

The integrative memory model contains multiple subsystems. In this commentary, the processes within these subsystems are questioned. First, the assumption that familiarity largely reflects perceptual fluency is examined. Next, the distinction between “process” and “representational” models of temporal lobe function is challenged. Finally, the “relational representation core system” (or “extended hippocampal system”), which is central to the model, is especially sketchy. Here, I highlight key questions to be addressed in order to understand this system's role in trace formation.