Wszystkie pola: Hidden Logic - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: The hidden logic of information structure conflicts
Autorzy:: Szcześniak, Konrad
Powiązania:: https://bibliotekanauki.pl/articles/2049869.pdf
Data publikacji:: 2014
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Opis:: The present paper looks at the question of Information Structure (IS) confl icts, especially in the case of Figure and Ground assignment. It is observed that in typical uses in unmarked sentences, Figure-Ground assignment runs counter to the traditional notion of Information Structure. One of the main proposals of this study is that many cases of apparently problematic IS patterns are in fact the refl ection of a two-level IS organization of sentences, where an element can bear two opposite IS values. An attempt is made to point out an experiential grounding of this double-layer organization of IS. Finally, the case of possession is examined, whose interpretation is argued to derive from the reciprocal referencing of the possessor and possessum, possible thanks to the double-layer IS and Figure-Ground assignment reversal.
Źródło:: Linguistica Silesiana; 2014, 35; 81-99
0208-4228
Pojawia się w:: Linguistica Silesiana
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: Categorical Abstract Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions
Autorzy:: Voutsadakis, George
Powiązania:: https://bibliotekanauki.pl/articles/749924.pdf
Data publikacji:: 2016
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Behavioral Equivalence
Hidden Logic
Multi-Sorted Logic
Multi-term π-Institutions
Interpretability
Deductive Equivalence
Opis:: Babenyshev and Martins proved that two hidden multi-sorted deductive systems are deductively equivalent if and only if there exists an isomorphism between their corresponding lattices of theories that commutes with substitutions. We show that the π-institutions corresponding to the hidden multi-sorted deductive systems studied by Babenyshev and Martins satisfy the multi-term condition of Gil-F´erez. This provides a proof of the result of Babenyshev and Martins by appealing to the general result of Gil-F´erez pertaining to arbitrary multi-term π-institutions. The approach places hidden multi-sorted deductive systems in a more general framework and bypasses the laborious reuse of well-known proof techniques from traditional abstract algebraic logic by using “off the shelf” tools.
Źródło:: Bulletin of the Section of Logic; 2016, 45, 2
0138-0680
2449-836X
Pojawia się w:: Bulletin of the Section of Logic
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja