Temat: Implication - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Super-Strict Implications
Autorzy:: Gherardi, Guido
Orlandelli, Eugenio
Tematy:: Strict implication
paradoxes of implication
connexive implication
sequent calculi
structural rules; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/1023353.pdf Link otwiera się w nowym oknie
Opis:: This paper introduces the logics of super-strict implications, where a super-strict implication is a strengthening of C.I. Lewis' strict implication that avoids not only the paradoxes of material implication but also those of strict implication. The semantics of super-strict implications is obtained by strengthening the (normal) relational semantics for strict implication. We consider all logics of super-strict implications that are based on relational frames for modal logics in the modal cube. it is shown that all logics of super-strict implications are connexive logics in that they validate Aristotle's Theses and (weak) Boethius's Theses. A proof-theoretic characterisation of logics of super-strict implications is given by means of G3-style labelled calculi, and it is proved that the structural rules of inference are admissible in these calculi. It is also shown that validity in the S5-based logic of super-strict implications is equivalent to validity in G. Priest's negation-as-cancellation-based logic. Hence, we also give a cut-free calculus for Priest's logic.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 2.

Tytuł:: Vague ideals of implication groupoids
Autorzy:: Bandaru, Ravi
Shum, K.
Tematy:: implication groupoids
distributive implication groupiods
vague ideals; Pokaż więcej
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Powiązania:: https://bibliotekanauki.pl/articles/729079.pdf Link otwiera się w nowym oknie
Opis:: We introduce the concept of vague ideals in a distributive implication groupoid and investigate their properties. The vague ideals of a distributive implication groupoid are also characterized.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 3.

Tytuł:: Problemy terminologiczne w argumentach za istnieniem Boga
Autorzy:: Wolak, Zbigniew
Tematy:: material implication
formal implication
paradox of implication
deduction
reduction
induction
abduction
conversational implicature
causality; Pokaż więcej
Wydawca:: Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie. Instytut Filozofii i Socjologii
Powiązania:: https://bibliotekanauki.pl/articles/437197.pdf Link otwiera się w nowym oknie
Opis:: In the article I deal with some paradoxes and errors caused by improper usage of logical and philosophical terms appearing in the arguments for existence of God and other philosophical issues. I point at first some paradoxes coming from improper usage of propositional calculus as an instrument for analysis of a natural language. This language is actually not using simple sentences but rather propositional functions, their logical connections, and some replacements for variables in them. We still have to deal with so called paradox of material implication. The second paragraph provides formal and metatheoretical critics of Charles Sanders Peirce’s theory of deduction, induction and abduction. I argue that what Peirce and his followers call abduction is actually deduction or some reasoning unable to describe in terms of the logic used by them. Both syllogistic and inferential theory of abduction generate some paradoxes and contradictions. In the last paragraph also some paradoxes and contradictions resulting from the theory of causation by Jan Łukasiewicz are presented. The central issue of the article is erroneous usage of the implication: in logical paraphrases of a natural language, in description of the scientific reasoning, and in description of causality. However, my objective is not to solve all problems mentioned above but rather to open a discussion over them.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 4.

Tytuł:: Commutative directoids with sectionally antitone bijections
Autorzy:: Chajda, Ivan
Kolařík, Miroslav
Radeleczki, Sándor
Tematy:: directoid
section antitone bijection
implication algebra
double implication algebra; Pokaż więcej
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Powiązania:: https://bibliotekanauki.pl/articles/728818.pdf Link otwiera się w nowym oknie
Opis:: We study commutative directoids with a greatest element, which can be equipped with antitone bijections in every principal filter. These can be axiomatized as algebras with two binary operations satisfying four identities. A minimal subvariety of this variety is described.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 5.

Tytuł:: Implication algebras
Autorzy:: Chajda, Ivan
Tematy:: implication algebra
pre-implication algebra
orthoimplication algebra
orthosemilattice
congruence kernel; Pokaż więcej
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Powiązania:: https://bibliotekanauki.pl/articles/729171.pdf Link otwiera się w nowym oknie
Opis:: We introduce the concepts of pre-implication algebra and implication algebra based on orthosemilattices which generalize the concepts of implication algebra, orthoimplication algebra defined by J.C. Abbott [2] and orthomodular implication algebra introduced by the author with his collaborators. For our algebras we get new axiom systems compatible with that of an implication algebra. This unified approach enables us to compare the mentioned algebras and apply a unified treatment of congruence properties.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 6.

Tytuł:: Polityczne implikacje epidemii AIDS w Afryce
The political implication of AIDS epidemic in Africa
Autorzy:: Strzelecka-Węklar, Daria
Tematy:: AIDS
Africa
Political implication; Pokaż więcej
Wydawca:: Uniwersytet Warmińsko-Mazurski w Olsztynie. Instytut Nauk Politycznych
Powiązania:: https://bibliotekanauki.pl/articles/566982.pdf Link otwiera się w nowym oknie
Opis:: It passed already over thirty years that the first information on the new deadly decease emerged (between 1980 and 1981). Undoubtedly, the AIDS epidemic changed the life styles in most countries and societies of the world (especially in the United States and in Europe). On the other hand, it is interesting that in case of many African countries (especially the South Africa where the number of HIV-positive is the greatest in Africa), the life styles of the population (for instance use of contraception) changed very little only. At the same time, relatively low economic position (GNP) of most of the African countries results in many economic, social and even political problems caused by the AIDS epidemic. It is important to notice that every 2 in 3 HIV-positive person live in Africa (South of Sahara desert). The late Colonel Gaddafi in Libya used even the AIDS question in international political relations - against some of Bulgarian nurses. Undoubtedly there are many factors of such the bad situation of Africa in respect of AIDS epidemic: bad financial situation, problems with medicines, many military conflicts, the discrimination of women, many economic migrations and some local cultural situation.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 7.

Tytuł:: Quasi-implication algebras
Autorzy:: Chajda, Ivan
Dušek, Kamil
Tematy:: implication
non-involutory negation
quasi-implication algebra
implitcation algebra
pseudocomplemented semilattice
q-semilattice; Pokaż więcej
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Powiązania:: https://bibliotekanauki.pl/articles/729013.pdf Link otwiera się w nowym oknie
Opis:: A quasi-implication algebra is introduced as an algebraic counterpart of an implication reduct of propositional logic having non-involutory negation (e.g. intuitionistic logic). We show that every pseudocomplemented semilattice induces a quasi-implication algebra (but not conversely). On the other hand, a more general algebra, a so-called pseudocomplemented q-semilattice is introduced and a mutual correspondence between this algebra and a quasi-implication algebra is shown.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 8.

Tytuł:: Decorative Image and Cultural Implication of Embroidery in Jinnan (Southern Shanxi)
Autorzy:: Kyungsun, Kymn
Wu, Yi
Wydawca:: Sciendo
Cytata wydawnicza:: Wu Y, Kyungsun K. Decorative Image and Cultural Implication of Embroidery in Jinnan (Southern Shanxi). Fibres & Textiles in Eastern Europe. Sciendo, 2022;30(2): 112-122. https://doi.org/10.2478/ftee-2022-0014
Opis:: I would like to thank my mother for helping me collect, photograph and sort out the embroidery patterns, as well as the Academy of Fine Arts of Seoul University for my academic guidance.
Jinnan (Southern Shanxi) embroidery is a traditional Chinese folk handicraft. In this study, we collected a large number of historical resources and theoretical materials of Jinnan embroidery and randomly sampled 100 works as research objects. These works were compared, and the artistic expression and implication in these works were analysed. We found that animal patterns are the main object of Jinnan embroidery and that the colour scheme in Jinnan embroidery is simple, with red and yellow as the main colours. After an in-depth analysis of their theme and value, the embroidery patterns were shown to convey totem worship, reproduction worship and auspicious worship, reflecting the long-term aesthetic concepts and living customs in southern Shanxi.
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

na półce

Skocz do pozycji: 9.

Tytuł:: Aggregation and related functions in fuzzy set theory: dualities and monotonicity-based generalizations
Autorzy:: Mesiar, R.
Kolesarova, A.
Tematy:: aggregation function
conjuctor
directional monotonicity
disjunctor
duality
implication function
pre-aggregation function
pre-implication function; Pokaż więcej
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Powiązania:: https://bibliotekanauki.pl/articles/384570.pdf Link otwiera się w nowym oknie
Opis:: We discuss several extensions of binary Boolean functions acting on the domain [0, 1]. Formally, there are 16 disjoint classes of such functions, covering a majority of binary functions considered in fuzzy set theory. We introduce and discuss dualities in this framework, stressing the links between different subclasses of considered functions, e.g., the link between conjunctive and implication functions. Special classes of considered functions are characterized, among others, by particular kinds of monotonicity. Relaxing these constraints by considering monotonicity in one direction only, we generalize standard classes of aggregation functions, implications, semicopulas, etc., into larger classes called pre-aggregations, pre-implications, pre-semicopulas, etc. Note that the dualities discussed for the standard classes also relate the new extended classes of pre-functions.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 10.

Tytuł:: Basic properties of a new class of parametric intuitionistic fuzzy implications
Autorzy:: Dworniczak, P.
Tematy:: parametric fuzzy implication
intuitionistic fuzzy logic; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Powiązania:: https://bibliotekanauki.pl/articles/206173.pdf Link otwiera się w nowym oknie
Opis:: In this paper a new class of intuitionistic fuzzy implications is introduced. Fulfillment of some axioms and properties together with Modus Ponens and Modus Tollens inference rules is investigated. Negation induced by implication is presented.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Informacja

Wyszukujesz frazę "Implication" wg kryterium: Temat