Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "implicative" wg kryterium: Temat


Wyświetlanie 1-5 z 5
Tytuł:
Processing Presuppositions. Are Implicative Verbs Soft Triggers?
Autorzy:
Włodarczyk, Mateusz
Powiązania:
https://bibliotekanauki.pl/articles/2028576.pdf
Data publikacji:
2021-03-30
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
conversational implicature
implicative verbs
presuppositions
Opis:
This paper investigates the question whether implicative verbs should be considered as soft presupposition triggers, i.e., as triggers activating optional context repairs. I present the results of an experiment in which test subjects were asked to read short dialogues containing either presupposition triggers or conversational implicatures and, next, answer the questions regarding the information communicated on the level of presupposition or implicatures, respectively. The results of within-subject ANOVA show that presuppositions activated by the use of implicative verbs are significantly less accessible and illicit significantly longer response times than presuppositions activated by the use of hard triggers, suggesting that they can be classified as soft presupposition triggers. The obtained results also show that presuppositions activated by the use of different triggers are heterogenous in regards to the accessibility of information.
Źródło:
Research in Language; 2021, 19, 1; 47-75
1731-7533
Pojawia się w:
Research in Language
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Soju Filters in Hoop Algebras
Autorzy:
Borzooei, Rajab Ali
Rezaei, Gholam Reza
Kologhani, Mona Aaly
Jun, Young Bae
Powiązania:
https://bibliotekanauki.pl/articles/1023327.pdf
Data publikacji:
2020-12-30
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Soju sub-hoop
soju filter
implicative soju filter
Opis:
The notions of (implicative) soju filters in a hoop algebra are introduced, and related properties are investigated. Relations between a soju sub-hoop, a soju filter and an implicative soju filter are discussed. Conditions for a soju filter to be implicative are displayed, and characterizations of an implicative soju filters are considered. The extension property of an implicative soju filter is established.
Źródło:
Bulletin of the Section of Logic; 2021, 50, 1; 97-123
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Positive Implicative Soju Ideals in BCK-Algebras
Autorzy:
Xin, Xiao Long
Borzooei, Rajab Ali
Jun, Young Bae
Powiązania:
https://bibliotekanauki.pl/articles/749900.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
soju subalgebra
soju ideal
positive implicative soju ideal
Opis:
The notion of positive implicative soju ideal in BCK-algebra is introduced, and several properties are investigated. Relations between soju ideal and positive implicative soju ideal are considered, and characterizations of positive implicative soju ideal are established. Finally, extension property for positive implicative soju ideal is constructed.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 1
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Int-Soft Ideals of Pseudo MV-Algebras
Autorzy:
Jun, Young Bae
Song, Seok-Zun
Bordbar, Hashem
Powiązania:
https://bibliotekanauki.pl/articles/749894.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
int-soft ideal
implicative int-soft ideal
Opis:
The notion of (implicative) int-soft ideal in a pseudo MV -algebra is introduced, and related properties are investigated. Conditions for a soft set to be an int-soft ideal are provided. Characterizations of (implicative) int-soft ideal are considered. The extension property for implicative int-soft ideal is established.
Źródło:
Bulletin of the Section of Logic; 2018, 47, 1
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Logic for Dually Hemimorphic Semi-Heyting Algebras and its Axiomatic Extensions
Autorzy:
Cornejo, Juan Manuel
Sankappanavar, Hanamantagouda P.
Powiązania:
https://bibliotekanauki.pl/articles/43189647.pdf
Data publikacji:
2022
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
semi-intuitionistic logic
dually hemimorphic semi-Heyting logic
dually quasi-De Morgan semi-Heyting logic
De Morgan semi-Heyting logic
dually pseudocomplemented semi-Heyting logic
regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1
implicative logic
equivalent algebraic semantics
algebraizable logic
De Morgan Gödel logic
dually pseudocomplemented Gödel logic
Moisil's logic
3-valued Łukasiewicz logic
Opis:
The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion of semi-Heyting algebras by a dual hemimorphism. In this paper, we focus on the variety \(\mathbb{DHMSH}\) from a logical point of view. The paper presents an extensive investigation of the logic corresponding to the variety of dually hemimorphic semi-Heyting algebras and of its axiomatic extensions, along with an equally extensive universal algebraic study of their corresponding algebraic semantics. Firstly, we present a Hilbert-style axiomatization of a new logic called "Dually hemimorphic semi-Heyting logic" (\(\mathcal{DHMSH}\), for short), as an expansion of semi-intuitionistic logic \(\mathcal{SI}\) (also called \(\mathcal{SH}\)) introduced by the first author by adding a weak negation (to be interpreted as a dual hemimorphism). We then prove that it is implicative in the sense of Rasiowa and that it is complete with respect to the variety \(\mathbb{DHMSH}\). It is deduced that the logic \(\mathcal{DHMSH}\) is algebraizable in the sense of Blok and Pigozzi, with the variety \(\mathbb{DHMSH}\) as its equivalent algebraic semantics and that the lattice of axiomatic extensions of \(\mathcal{DHMSH}\) is dually isomorphic to the lattice of subvarieties of \(\mathbb{DHMSH}\). A new axiomatization for Moisil's logic is also obtained. Secondly, we characterize the axiomatic extensions of \(\mathcal{DHMSH}\) in which the "Deduction Theorem" holds. Thirdly, we present several new logics, extending the logic \(\mathcal{DHMSH}\), corresponding to several important subvarieties of the variety \(\mathbb{DHMSH}\). These include logics corresponding to the varieties generated by two-element, three-element and some four-element dually quasi-De Morgan semi-Heyting algebras, as well as a new axiomatization for the 3-valued Łukasiewicz logic. Surprisingly, many of these logics turn out to be connexive logics, only a few of which are presented in this paper. Fourthly, we present axiomatizations for two infinite sequences of logics namely, De Morgan Gödel logics and dually pseudocomplemented Gödel logics. Fifthly, axiomatizations are also provided for logics corresponding to many subvarieties of regular dually quasi-De Morgan Stone semi-Heyting algebras, of regular De Morgan semi-Heyting algebras of level 1, and of JI-distributive semi-Heyting algebras of level 1. We conclude the paper with some open problems. Most of the logics considered in this paper are discriminator logics in the sense that they correspond to discriminator varieties. Some of them, just like the classical logic, are even primal in the sense that their corresponding varieties are generated by primal algebras.
Źródło:
Bulletin of the Section of Logic; 2022, 51, 4; 555-645
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-5 z 5

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies