Results 31 to 40 of about 2,148,404 (272)
The Modal Components of Judgements in a Quantum Model of Psychoanalytic Theory
Entropy, 2023 In the present paper, we develop a theory of thinking based on an attempt to formalize the construction of mental representations as described in psychoanalytic theory. In previous work, we described Freud’s and Matte Blanco’s structural Unconscious in a
Giulia Battilotti +2 more
doaj +1 more source
GECCO Companion, 2021 Previous theory work on multi-objective evolutionary algorithms considers mostly easy problems that are composed of unimodal objectives. This paper takes a first step towards a deeper understanding of how evolutionary algorithms solve multi-modal multi ...
Benjamin Doerr, Weijie Zheng
semanticscholar +1 more source
Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses
Inteligencia Artificial, 2020 We investigate the variant of epistemic logic S5 for reasoning about knowledge under hypotheses. The logic is equipped with a modal operator of necessity that can be parameterized with a hypothesis representing background assumptions.
Levan Uridia, Dirk Walther
doaj +1 more source
Enhanced Contingency Analysis—A Power System Operator Tool
Energies, 2021 Contingency analysis (CA) is a well-known function in power system planning and operation. In accordance with CA results, the system operator dispenses information regarding static security of the power system (overloads and/or voltage outside tolerable ...
Hrvoje Bulat +2 more
semanticscholar +1 more source
A Relational Semantics for Ockham’s Modalities
Axioms, 2023 This article aims at providing some extension of the modal square of opposition in the light of Ockham’s account of modal operators. Moreover, we set forth some significant remarks on the de re–de dicto distinction and on the modal operator of ...
Davide Falessi, Fabien Schang
doaj +1 more source
Some Unitary Operators on Hoop-algebras
Fuzzy Information and Engineering, 2017 In this paper, we introduce the notions of multiplier, ⊙-closure operator and modal operator on hoop-algebras. After that, we investigate some algebraic properties of multiplier, ⊙-closure operator and modal operator on hoop-algebras.
R. Tayebi Khorami, A. Borumand Saeid
doaj +1 more source
Efficient loop-check for multimodal KD45n logic
Lietuvos Matematikos Rinkinys, 2021 We introduce sequent calculus for multi-modal logic KD45n which uses efficient loop-check. Efficiency of the used loop-check is obtained by using marked modal operator squarei which is used as an alternative to sequent with histories ([2,3]).We use ...
Adomas Birštunas
doaj +1 more source
Distributive nearlattices with a necessity modal operator
Mathematica Slovaca, 2019 The aim of this paper is to study the class of distributive nearlattices with a necessity modal operator. We develop a full duality to the category of distributive nearlattices whose morphisms are applications that preserving the infimum when exists and,
S. Celani, Ismael Calomino
semanticscholar +1 more source
, 2019 We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of ...
Incurvati, Luca, Schlöder, Julian J.
core +2 more sources
Some results on certain properties of intuitionistic fuzzy sets [PDF]
Journal of Fuzzy Extension and Applications, 2021 An operator is a special symbol for performing a specific function. Several operators like modal operators, topological operators, level operators, etc. have been defined over intuitionistic fuzzy sets.
Jaydip Bhattacharya
doaj +1 more source