Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "implicative" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
Wyświetlanie 1-10 z 18
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ł:
On implicative and maximal ideals of BL-algebras
Autorzy:
Walendziak, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/746457.pdf
Data publikacji:
2014
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
BL-algebra, MV-algebra, implicative (maximal) ideal
Opis:
In the theory of MV-algebras, implicative ideals are studied by Hoo and Sessa. In this paper we define and characterize implicative ideals of BL-algebras. We also investigate maximal ideals of BL-algebras and prove that if an ideal is prime and implicative, then it is maximal. Moreover, we show that an ideal is maximal if and only if the quotient BL-algebra is a simple MV-algebra. Finally, we give the homomorphic properties of implicative and maximal ideals.
Źródło:
Commentationes Mathematicae; 2014, 54, 2
0373-8299
Pojawia się w:
Commentationes Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Coherence of radial implicative fuzzy systems with nominal consequents
Autorzy:
Poufal, D.
Powiązania:
https://bibliotekanauki.pl/articles/308924.pdf
Data publikacji:
2006
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
implicative fuzzy system
radial fuzzy system
nominal output space
coherence
Opis:
In the paper we are interested in the question of coherence of radial implicative fuzzy systems with nominal consequents (radial I-FSs with NCs). Implicative fuzzy systems are fuzzy systems employing residuated fuzzy implications for representation of IF-THEN structure of their rules. Radial fuzzy systems are fuzzy systems exhibiting the radial property in antecedents of their rules. The property simplifies computational model of radial systems and makes the investigation of their properties more tractable. A fuzzy system has nominal consequents if its output is defined on a finite unordered set of possible actions which are generally quantitatively incomparable. The question of coherence is the question of under which conditions we are assured that regardless the input to the system is, an output of the system exists, i.e., the output is non-empty. In other words, a fuzzy system is coherent if it has no contradictory rules in its rule base. In the paper we state sufficient conditions for a radial I-FS with NCs to be coherent.
Źródło:
Journal of Telecommunications and Information Technology; 2006, 4; 60-66
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
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ł:
Inférences textuelles et constructions à verbes supports
Textual Inferences and Support Verb Constructions
Autorzy:
Banyś, Wiesław
Powiązania:
https://bibliotekanauki.pl/articles/31341221.pdf
Data publikacji:
2022
Wydawca:
Wydawnictwo Uniwersytetu Śląskiego
Tematy:
Inference
textual inferences
implication
implicative
phrasal implicative
implicative signature
paraphrase
multi-word expressions
support verbs
Opis:
Pour comprendre le langage naturel, les systèmes automatiques doivent avoir la capacité et la possibilité de savoir ce qui est inféré, et si oui, comment cela est inféré, et à partir de quoi dans un texte. Les implications linguistiquement déterminées imposées par un prédicat sur ses arguments propositionnels, apparaissant dans un texte comme des inférences textuelles, sont, avec d'autres éléments, tels que la connaissance du monde, les hypothèses des locuteurs sur l'utilisation de la langue, les stéréotypes situationnels, les implicatures, etc. l'un des éléments nécessaires pour qu'un système soit considéré comme comprenant le langage naturel. Dans cet article, nous nous concentrons sur l'une des parties importantes des inférences textuelles, qui n'a pratiquement pas été étudiée, à savoir les relations entre une catégorie particulière d'inférences textuelles constituée d'implicatifs phrastiques au sens de Karttunen (2012) et une catégorie particulière d'expressions polylexicales constituée de verbes supports. Nous donnons d'abord une brève introduction à l'état actuel de la description des deux catégories générales : les inférences, dont un type particulier d'inférences : les paraphrases (sec. 1), et les expressions polylexicales avec un type particulier de ces constructions : les verbes supports (sec. 2), ce qui nous permet de présenter les relations entre les verbes supports et les paraphrases (sec. 3). Nous passons ensuite à une discussion sur les implicatifs, y compris les implicatifs phrastiques (sec. 4), au sens de Karttunen (2012) et nous présentons une esquisse de la description de certains types de constructions à verbes supports du point de vue de leur pouvoir implicatif (sec. 5). Les analyses du type présenté sont à poursuivre et doivent être étendues à toutes les constructions du type analysé et font en même temps partie d'un projet beaucoup plus général. Elles sont un début d'une implémentation systématique à faire sur les matériaux français et polonais en corrélation avec l'anglais de la combinatoire des valeurs de vérité, "signatures implicatives", des prédicats, qu'ils soient verbaux, adjectivaux ou nominaux.
To understand natural language, automatic systems must have the ability and possibility to know what is inferred, and if so, how it is inferred, and from what in a text. The linguistically determined implications imposed by a predicate on its propositional arguments, appearing in a text as textual inferences, are, with other elements, such as knowledge of the world, speakers’ assumptions about language usage, situational stereotypes, implicatures, etc., one of the necessary elements for a system to be considered as understanding natural language.  In this paper, Wiesław Banyś focuses on an important part of textual inferences, one which has been given hardly any scholarly attention so far, namely the relations between a particular category of textual inferences constituted by phrasal implicatives in the sense of Karttunen (2012) and a particular category of multi-word expressions constituted by support verbs.  Banyś first gives a brief introduction to the current state of the art of the description of the two general categories: inferences, including a particular type of inferences: paraphrases (sec. 1), and multiword expressions with a particular type of these constructions: support verbs (sec. 2), which allows us to present the relations between support verbs and paraphrases (sec. 3). He then moves on to a discussion of implicatives, including phrasal implicatives (sec. 4), and presents a sketch of the description of some types of support verb constructions from the point of view of their implicative power (sec. 5).  The analyses of the type presented are to be continued and need to be extended to all constructions of the type analysed and are at the same time part of a much more general project. They constitute the beginning of a systematic implementation to be done on French and Polish material, in correlation with the English, of the combinatorics of truth values, “implicative signatures”, of predicates, whether verbal, adjectival or nominal.
Źródło:
Neophilologica; 2022, 34; 1-37
0208-5550
2353-088X
Pojawia się w:
Neophilologica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Where Czech meets math: Implicative-causal relations in mathematical word problems
Autorzy:
Hirschová, Milada
Vondrová, Naďa
Powiązania:
https://bibliotekanauki.pl/articles/2193778.pdf
Data publikacji:
2023-03-24
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
implicative-causal relation
word problem as a text type
conversational implicature
formulaic stereotypy
Opis:
The paper deals with the functioning of if-clauses in mathematical word problems and with their equivalents. First, the nature of a word problem as a text type is shown. Further, the difference between complex sentences with proper implicative-causal relation and a lay use of conditional clauses is examined. As its main goal, the paper presents a comparison of various instances of conditional clauses in mathematics word problems. Also, it shows the role of formulaic stereotypy and conventional assumptions in word problem texts as an integral part of both the mathematical and the communicative competence.
Źródło:
Bohemistyka; 2023, 1; 55-76
1642-9893
Pojawia się w:
Bohemistyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Lattice of Implicative Extensions of Regular Kleenes Logics
Autorzy:
Tomova, Natalya
Powiązania:
https://bibliotekanauki.pl/articles/1368574.pdf
Data publikacji:
2012
Wydawca:
Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Opis:
The paper deals with functional properties of three-valued logics. We consider the family of regular three-valued Kleene’s logics (strong, weak, intermediate) and it’s extensions by adding an implicative connectives (“natural” implications). The main result of our paper is the lattice that describes the relations between implicative extensions of regular logics.
Źródło:
Reports on Mathematical Logic; 2012, 47; 173-182
0137-2904
2084-2589
Pojawia się w:
Reports on Mathematical Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Paraconsistency and Consistency Understood as the Absence of the Negation of any Implicative Theorem
Autorzy:
Robles, Gemma
Powiązania:
https://bibliotekanauki.pl/articles/1368568.pdf
Data publikacji:
2012
Wydawca:
Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Opis:
As is stated in its title, in this paper consistency is understood as the absence of the negation of any implicative theorem. Then, a series of logics adequate to this concept of consistency is defined within the context of the ternary relational semantics with a set of designated points, negation being modelled with the Routley operator. Soundness and completeness theorems are provided for each one of these logics. In some cases, strong (i.e., in respect of deducibility) soundness and completeness theorems are also proven. All logics in this paper are included in Lewis’ S4. They are all paraconsistent, but none of them is relevant.
Źródło:
Reports on Mathematical Logic; 2012, 47
0137-2904
2084-2589
Pojawia się w:
Reports on Mathematical Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On maximal ideals of pseudo \(MV\)-algebras
Autorzy:
Dymek, Grzegorz
Walendziak, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/745935.pdf
Data publikacji:
2007
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
pseudo MV-algebra
ideal
maximal (implicative) ideal
Opis:
We investigate maximal ideals of pseudo MV-algebras and give some characterizations of them. Some properties of a family of maximal ideals of a pseudo MV-algebra generating this algebra are shown as well. Finally, we are interested in finding an example of a pseudo MV-algebra generated by its maximal ideal.
Źródło:
Commentationes Mathematicae; 2007, 47, 1
0373-8299
Pojawia się w:
Commentationes Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Negatywna nieprzeźroczystość. O predykatach przesądzających fałsz implikowanego zdania
Autorzy:
Zaucha, Joanna
Powiązania:
https://bibliotekanauki.pl/articles/567912.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Mikołaja Kopernika w Toruniu. Wydawnictwo UMK
Tematy:
contrafactives
implicative verbs
falsehood
kontrafaktywy
czasowniki implikatywne
fałsz
Opis:
The paper discusses the distinction between factive and non-factive predicates as well as between implicative and non-implicative verbs. The author reconsiders the well-known concepts in respect to falsehood verbs. In the process of the analysis she discovers certain gaps in both frameworks. In her conclusion the author proposes a more complex account of the non-factive predicates which are based on the place of thematic ascription in the semantic content of a particular predicate.
Artykuł poświęcony jest analizie czasowników przesądzających fałsz zdań wymaganych składniowo bądź implikowanych semantycznie ze względu na pojęcia niefaktywności (Kiparscy 1970) oraz implikatywności (Karttunen 1971). Kategorie te są obecne w literaturze przedmiotu od bez mała półwiecza. Tymczasem konfrontacja dobrze znanych (wydawałoby się) idei z materiałem językowym przynosi niespodziewane rezultaty. Okazuje się, że aparat pojęciowy służący do opisu faktywności zawiera luki domagające się uzupełnienia. W artykule stawia się tezę, że zasadnicza dychotomia między wyrażeniami niefaktywnymi opiera się na opozycji ze względu na umiejscowienie i funkcję (temat nadrzędny vs. temat cząstkowy) tematyzowanej askrypcji w strukturze treści predykatu. Przypadek czasownikowych wykładników fałszu unaocznia, że wśród niefaktywów można wyróżnić następujące podklasy: i) niefaktywy nieprzesądzające ani fałszu, ani prawdziwości implikowanego zdania; ii) niefaktywy przesądzające fałsz implikowanego zdania w remacie swojej struktury semantycznej, iii) niefaktywy przesądzające fałsz implikowanego zdania w części tematycznej struktury znaczeniowej; iv) niefaktywy, w których fałszywa askrypcja stanowi temat cząstkowy.
Źródło:
Linguistica Copernicana; 2019, 16
2080-1068
2391-7768
Pojawia się w:
Linguistica Copernicana
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-10 z 18

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