Results 11 to 20 of about 213 (142)
On the Logical and Algebraic Aspects of Reasoning with Formal Contexts [PDF]
ACM Transactions on Computational LogicA formal context consists of objects, properties, and the incidence relation between them. Various notions of concepts defined with respect to formal contexts and their associated algebraic structures have been studied extensively, including formal ...
Prosenjit Howlader, C. Liau
semanticscholar +3 more sources
A Logical Descriptor for Regular Languages via Stone Duality
International Colloquium on Theoretical Aspects of Computing, 2014 In this paper we introduce a class of descriptors for regular languages arising from an application of the Stone duality between finite Boolean algebras and finite sets.
S. Aguzzoli +2 more
semanticscholar +2 more sources
Logical Aspects of Set Constraints
Annual Conference for Computer Science Logic, 1993 . Set constraints are inclusion relations between sets of ground terms over a ranked alphabet. They have been used extensively in program analysis and type inference. Here we present an equational axiomatization of the algebra of set constraints.
D. Kozen
semanticscholar +2 more sources
Quantum-inspired cognitive agents
Frontiers in Applied Mathematics and Statistics, 2022 The concept of intelligent agents is—roughly speaking—based on an architecture and a set of behavioral programs that primarily serve to solve problems autonomously.
Markus Huber-Liebl +5 more
semanticscholar +1 more source
Propositional superposition logic [PDF]
Logic Journal of the IGPL, 2018 We extend classical Propositional Logic (PL) by adding a new primitive binary connective $\varphi|\psi$, intended to represent the"superposition"of sentences $\varphi$ and $\psi$, an operation motivated by the corresponding notion of quantum mechanics ...
A. Tzouvaras
semanticscholar +1 more source
An Algebraic Approach for Action Based Default Reasoning [PDF]
Theoretical Aspects of Rationality and Knowledge, 2019 Often, we assume that an action is permitted simply because it is not explicitly forbidden; or, similarly, that an action is forbidden simply because it is not explicitly permitted.
Pablo F. Castro +3 more
semanticscholar +1 more source
Basic elements and problems of probability theory [PDF]
, 1999 After a brief review of ontic and epistemic descriptions, and of subjective, logical and statistical interpretations of probability, we summarize the traditional axiomatization of calculus of probability in terms of Boolean algebras and its set ...
Primas, Hans, Hans Primas
core
From Ambition to Authenticity: How Transparent Sustainability Practices Rebuild Stakeholder Trust
Sustainable Development, EarlyView.ABSTRACT Stakeholder trust is central to advancing sustainable development, yet it is increasingly strained as corporate sustainability commitments expand faster than verifiable performance. This study examines how authenticity and transparency in corporate sustainability practices influence the formation and maintenance of stakeholder trust under ...
A. K. M. Mohsin +5 more
wiley +1 more source
Co-Algebraic Models for Quantitative Spatial Logics,
, 2007 We introduce a class of coalgebraic models and a family of modal logics that support the specification of spatial properties of distributed applications.
Vincenzo Ciancia +5 more
core +1 more source
Creativity and Innovation Management, EarlyView.ABSTRACT Creativity and innovation are often understood as the result of a complex interplay of hierarchical factors, such as national, regional and firm characteristics, or between organisational and individual factors. While recent applications of qualitative comparative analysis (QCA) have begun to model such configurational links, their ...
Luc Sandfort +3 more
wiley +1 more source