Results 41 to 50 of about 110,934 (299)

Mental logic and its difficulties with disjunction

Círculo de Lingüística Aplicada a la Comunicación, 2016
The mental logic theory does not accept the disjunction introduction rule of standard propositional calculus as a natural schema of the human mind.
Miguel López-Astorga
doaj   +1 more source

Structural prediction in aphasia

Frontiers in Psychology, 2015
There is considerable evidence that young healthy comprehenders predict the structure of upcoming material, and that their processing is facilitated when they encounter material matching those predictions (e.g., Staub & Clifton, 2006; Yoshida, Dickey ...
Tessa Warren, Michael Walsh Dickey, Michael Walsh Dickey   +2 more
doaj   +1 more source

A diszjunkció mint Pozitív Polaritású Elem. A prozódia hatása a magyar diszjunktív tagadó mondatok értelmezésére

Jelentés és Nyelvhasználat, 2022
A diszjunktív tagadó mondatok logikailag potenciálisan kétértelműek: amennyiben a diszjunkció a tagadáshoz képest tág hatókört (TD) vesz fel, az „egyik vagy másik nem” értelmezés áll elő, míg a diszjunkció a tagadáshoz viszonyított szűk hatóköre (SZD) az
Surányi, Balázs, Gulás, Máté
doaj   +1 more source

A Quantum-Conceptual Explanation of Violations of Expected Utility in Economics [PDF]

, 2011
The expected utility hypothesis is one of the building blocks of classical economic theory and founded on Savage's Sure-Thing Principle. It has been put forward, e.g.
A. Khrennikov, A. Tversky, D. Aerts, D. Aerts, D. Aerts, D. Aerts, D. Ellsberg, J. Neumann von, J.A. Hampton, J.R. Busemeyer, J.R. Busemeyer, L. Gabora, L.J. Savage, M. Allais, M. Bagassi, V.I. Danilov, V.I. Yukalov   +16 more
core   +2 more sources

Deductive synthesis of recursive plans in linear logic [PDF]

, 1999
Linear logic has previously been shown to be suitable for describing and deductively solving planning problems involving conjunction and disjunction.
A. Bundy, A. Ireland, B. Nordström, G. Große, G.R. Ghassem-Sani, J. Hesketh, J.-Y. Girard, J.S. Hodas, L. Sterling, M. Masseron, M. Masseron, R.E. Fikes, S. Abramsky, W. Bibel, W. Stephan, Z. Manna   +15 more
core   +3 more sources

Translating LPOD and CR-Prolog2 into Standard Answer Set Programs

, 2018
Logic Programs with Ordered Disjunction (LPOD) is an extension of standard answer set programs to handle preference using the construct of ordered disjunction, and CR-Prolog2 is an extension of standard answer set programs with consistency restoring ...
Lee, Joohyung, Yang, Zhun
core   +1 more source

Coenagrion hastulatum (Charpentier, 1825), new for the dragonfly fauna of Bosnia and Herzegovina (Odonata: Coenagrionidae)

Natura Sloveniae, 2011
At the high-altitude Donje Bare and Gornje Bare Lakes in the surroundings of Tjentište village, Zelengora Mts., Sutjeska National Park, SE Bosnia and Herzegovina, Coenagrion hastulatum was recorded on 26 June 2011.
Matjaž Bedjanič
doaj   +1 more source

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

Truth, disjunction, and induction [PDF]

Archive for Mathematical Logic, 2019
11 ...
Ali Enayat, Fedor Pakhomov
openaire   +4 more sources

Scalar Implicature, Hurford's Constraint, Contrastiveness and How They All Come Together

Frontiers in Communication, 2021
Disjunction with two scalar items, such as some or all of the books, has been regarded as evidence for the grammatical theory of scalar implicatures (e.g., Chierchia et al., 2012).
Satoshi Tomioka
doaj   +1 more source