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ę "non-congruence" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Modification de la polarité du verbe ou prédicat effacé ?
Autorzy:
Cholewa, Joanna
Powiązania:
https://bibliotekanauki.pl/articles/559820.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Wrocławski. Oficyna Wydawnicza ATUT – Wrocławskie Wydawnictwo Oświatowe
Tematy:
predicate
deletion
polarity
pluripolar verb
non-congruence
prepositional group
Opis:
Change of the verb polarity or predicate deleted? Some French verbs, such as sortir, s’enfuir, s’éloigner, can be built with a preposition of polarity different from that of the verb: sortir dans, s’enfuir dans, s’éloigner vers. It is possible to consider these structures as the witness of deletion of a second verbal predicate: X sort (de la maison et entre) dans la rue, X s’éloigne (d’un endroit et s’approche) vers Y. We can see the same deletion in case of pluripolar verbs, which can be constructed with two prepositions (eg tomber).
Źródło:
Orbis Linguarum; 2018, 50; 29-36
1426-7241
Pojawia się w:
Orbis Linguarum
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An Investigation into Intuitionistic Logic with Identity
Autorzy:
Chlebowski, Szymon
Leszczyńska-Jasion, Dorota
Powiązania:
https://bibliotekanauki.pl/articles/750046.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Non-Fregean logics
intuitionistic logic
admissibility of cut
propositional identity
congruence
Opis:
We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity (ISCI). We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s propositional identity connective.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    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