Results 11 to 20 of about 123,099 (101)

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

Weak Assertion [PDF]

, 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

Inclusion and embedding measure for intuitionistic and interval-valued fuzzy sets [PDF]

Notes on IFS
In the present paper we define a new operator similar to the operator F_{α, β}, but having multiplicative nature. We study some of its properties and provide illustrative examples.
Peter Vassilev, Vassia Atanassova
doaj   +1 more source

Modal dynamics for positive operator measures [PDF]

, 2004
The modal interpretation of quantum mechanics allows one to keep the standard classical definition of realism intact. That is, variables have a definite status for all time and a measurement only tells us which value it had.
Gambetta, Jay, Wiseman, H. M.
core   +3 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

Reflexive insensitive modal logics [PDF]

, 2015
We analyze a class of modal logics rendered insensitive to reflexivity by way of a modification to the semantic definition of the modal operator. We explore the extent to which these logics can be characterized, and prove a general completeness theorem ...
Gilbert, David, Venturi, Giorgio
core   +2 more sources

On the Most Extended Modal Operator of First Type over Interval-Valued Intuitionistic Fuzzy Sets

Mathematics, 2018
The definition of the most extended modal operator of first type over interval-valued intuitionistic fuzzy sets is given, and some of its basic properties are studied.
Krassimir Atanassov
doaj   +1 more source

Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard? [PDF]

Logical Methods in Computer Science, 2022
Adding propositional quantification to the modal logics K, T or S4 is known to lead to undecidability but CTL with propositional quantification under the tree semantics (tQCTL) admits a non-elementary Tower-complete satisfiability problem. We investigate
Bartosz Bednarczyk, Stéphane Demri
doaj   +1 more source

Modal Similarity [PDF]

, 2009
Just as Boolean rules define Boolean categories, the Boolean operators define higher-order Boolean categories referred to as modal categories. We examine the similarity order between these categories and the standard category of logical identity (i.e ...
Vigo , Dr. Ronaldo
core   +1 more source

Rhetorical Questions and Polarity Licensing: On Cantonese Modal Sai2

Studies in Chinese Linguistics, 2022
This paper investigates the deontic modal sai2 in Cantonese. I argue that sai2 is an NPI and a negative operator is induced at the sentence-initial position by the SFPs me1 or aa4 in rhetorical questions.
Choi Tsun Hei
doaj   +1 more source