Results 11 to 20 of about 2,528,670 (306)

Modal Interface Automata [PDF]

, 2012
De Alfaro and Henzinger's Interface Automata (IA) and Nyman et al.'s recent combination IOMTS of IA and Larsen's Modal Transition Systems (MTS) are established frameworks for specifying interfaces of system components.
G. Lüttgen, H. Fecher, J. Raclet, K.G. Larsen, K.G. Larsen, K.G. Larsen, K.G. Larsen, M. Abadi, M. Schäfer, S. Bauer, S.S. Bauer   +10 more
core   +3 more sources

Quantum Structure of Negation and Conjunction in Human Thought [PDF]

, 2015
We analyse in this paper the data collected in a set of experiments performed on human subjects on the combination of natural concepts. We investigate the mutual influence of conceptual conjunction and negation by measuring the membership weights of a ...
Aerts, Diederik, Sozzo, Sandro, Veloz, Tomas   +2 more
core   +3 more sources

On correlative conjunctions in Turkish

Uluslararası Türk Lehçe Araştırmaları Dergisi, 2023
Every language has words used for various functions. These words are also divided into subgroups according to their functions. One of them is the conjunctions used to connect various equivalent units in the language.
Ahmet Turan DOĞAN
doaj   +1 more source

Quantum-like models cannot account for the conjunction fallacy [PDF]

, 2016
Human agents happen to judge that a conjunction of two terms is more probable than one of the terms, in contradiction with the rules of classical probabilities—this is the conjunction fallacy.
Boyer-Kassem, Thomas, Duchêne, Sébastien, Guerci, Eric   +2 more
core   +5 more sources

Semantic-Syntactic and Communicative-Pragmatic Features of Translation of Sentences with Coordinative Conjunctions from Russian into Korean Language

Научный диалог, 2019
The article covers the problems of translation of sentences with coordinative conjunctions into Korean. The object of the analysis is sentences with basic coordinative conjunctions i ‘and,’ a , no ‘but,’ ili ‘or.’ The novelty of the work lies in the fact
V. N. Zavyalov, Su. M. Song
doaj   +1 more source

Incremental quantification and the dynamics of pair-list phenomena

Semantics and Pragmatics, 2015
Distributive universals are unique among natural language quantifiers in the following three ways: (i) matrix interrogatives that contain them accept pair-list answers; (ii) indefinites and disjunctions in their scope may assume arbitrary functional ...
Dylan Bumford
doaj   +1 more source

Post conjunction detection of $\beta$ Pictoris b with VLT/SPHERE [PDF]

, 2018
With an orbital distance comparable to that of Saturn in the solar system, \bpic b is the closest (semi-major axis $\simeq$\,9\,au) exoplanet that has been imaged to orbit a star.
Abe, L., Antichi, J., Baruffolo, A., Baudino, J.-L., Baudoz, P., Baudrand, J., Bazzon, A., Beust, H., Beuzit, J.-L., Biller, B., Blanchard, P., Boccaletti, A., Bohn, A.J., Bonavita, M., Bonnefoy, M., Buey, T., Cantalloube, F., Carbillet, M., Carle, M., Cascone, E., Charnay, B., Charton, J., Chauvin, G., Cheetham, A., Claudi, R., Costille, A., Cudel, M., D'Orazi, V., Daemgen, S., De Caprio, V., Deboulbe, A., Delorme, P., Desidera, S., Dohlen, K., Dominik, C., Fantinel, D., Feautrier, P., Feldt, M., Fontanive, C., Fusco, T., Galicher, R., Gigan, P., Girard, J., Giro, E., Gisler, D., Gluck, L., Gomez,, Gonzales, C.A., Gratton, R., Gry, C., Hagelberg, J., Henning, T., Hubin, N., Hugot, E., Janson, M., Jaquet, M., Kasper, M., Kenworthy, M., Keppler, M., Koypitova, T., Kral, Q., Lagadec, E., Lagrange, A.-M., Langlois, M., Lannier, J., Le Coroller, H., Le Mignant, D., Ligi, R., Llored, M., Madec, F., Magnard, Y., Maire, A.-L., Martinez, P., Maurel, D., Menard, F., Mesa, D., Messina, S., Meyer, M., Milli, J., Moeller-Nilsson, O., Mordasini, C., Mouillet, D., Moulin, T., Moutou, C., Mueeller, A., Origne, A., Pavlov, A., Peretti, S., Perret, D., Perrot, C., Petit, C., Plas, G. van der, Pragt, J., Rouan, D., Salter, G., Samland, M., Schlieder, J.E., Schmid, H.-M., Schmidt, T., Sissa, E., Szulagyi, J., Turatto, M., Udry, S., Vigan, A., Wildi, F., Zurlo, A.   +105 more
core   +3 more sources

Fourteen modal theorems consistent with the theory of mental models

Prometeica, 2022
Very important concepts in the theory of mental models are those of ‘possibility’ and ‘necessity’. Based on the definitions this psychology theory gives for those concepts, it has been shown that it complies with the requirement Fitting and Mendelsonh ...
Miguel López-Astorga
doaj   +1 more source

Kalmyk and Buryat Languages: Conditional Constructs with Converbs and Conjunctions

Монголоведение, 2020
Introduction. The paper deals with different conditional constructions in Buryat and Kalmyk. Traditionally, the main way to express the conditional meaning in Mongolic languages is a non-finite clause with a converb (there are the conditional form on ...
Vlada V. Baranova
doaj   +1 more source

Semantic and grammatical parameters of the homocomplex as

Вісник Харківського національного університету імені В. Н. Каразіна. Серія Філологія. Vìsnik Harkìvsʹkogo nacìonalʹnogo unìversitetu ìmenì V.N. Karazìna. Serìâ Fìlologìâ., 2021
The relevance of the research is due to the increased attention of linguists to grammatical homonymy. Within the framework of grammatical homonymy, morphological, interpart-of-speech and syntactic homonyms are distinguished.
Ірина Федорівна Джочка
doaj   +1 more source