Temat: semantyka Kripke - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: A certain approach to Kripke semantics for normal modal logics
Autorzy:: Bryll, G.
Sochacki, R.
Powiązania:: https://bibliotekanauki.pl/articles/121860.pdf
Data publikacji:: 2009
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:: logika modalna
semantyka Kripke
logika czasowa
logika matematyczna
modal logic
Kripke’s semantics
mathematical logic
Opis:: In this paper the authors propose a method of verifying formulae in normal modal logics. In order to show that a formula α is a thesis of a normal modal logic, a set of decomposition rules for any formula is given. These decomposition rules are based on the symbols of assertion and rejection of formulae.
Źródło:: Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2009, 14; 13-20
2450-9302
Pojawia się w:: Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Between syntax and semantics of resource oriented logic for ids behavior description
Autorzy:: Perhac, J.
Mihalyi, D.
Novitzka, V.
Powiązania:: https://bibliotekanauki.pl/articles/122478.pdf
Data publikacji:: 2016
Wydawca:: Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:: intrusion detection system
linear logic
Kripke’s semantics
ludics
bezpieczeństwo sieci
system wykrywania włamań
logika liniowa
semantyka Kripke
Opis:: Linear logic appears as a suitable logical system for description of dynamic properties of various network activities in computer science. It disposes with new connectives which create new opportunities to describe properties of real network processes, e.g. parallelism, causality and commutativity of duality between processes. We extend this logic with Aristotelian modalities and we formulate their appropriate model. In our contribution we show how a real network attack can be formalized in this logical system as a polarized game.
Źródło:: Journal of Applied Mathematics and Computational Mechanics; 2016, 15, 2; 105-118
2299-9965
Pojawia się w:: Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: ZAŁOŻENIA SEMANTYKI SAULA KRIPKEGO I HILARY’EGO PUTNAMA I ICH WPŁYW NA WSPÓŁCZESNĄ ANALIZĘ JĘZYKA PRAWNEGO
THE PRINCIPLES OF SAUL KRIPKE’S AND HILARY PUTNAM’S SEMANTICS AND THEIR INFLUENCE ON THE CONTEMPORARY ANALYSIS OF LEGAL LANGUAGE
Autorzy:: SZCZEKOCKI, Piotr
Powiązania:: https://bibliotekanauki.pl/articles/920113.pdf
Data publikacji:: 2010-01-01
Wydawca:: Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:: język prawny
język prawniczy
semantyka
terminologia
semantics
legal language
legal texts
Kripke
Opis:: Koncepcja semantyki Saula Kripkego i Hilary‘ego Putnama, należąca do nowych koncepcji semantycznych formułuje trzy założenia, które w istotny sposób wpływają na współczesną analizę języka prawnego.Twierdzenia, jakie można wyprowadzić z tej koncepcji, wskazują na:1. Uniezależnienie językowego znaczenia tekstu prawnego od intencji historycznego prawodawcy, przenosząc tym samym ciężar na praktykę użytych zwrotów w danej wspólnocie komunikacyjnej.2. Wpływ różnorakich sposobów użycia języka prawnego na procedurę ustalania jego znaczenia.3. Ewolucję językowego znaczenia tekstu prawnego w czasie. Semantyka Kripkego–Putnama stara się dowieść, że proces interpretacji prawniczej zgodny z założeniami pozytywizmu prawniczego, którego charakterystyczną cechą jest językowy charakter prawa, powinien uwzględniać zmiany znaczenia tekstu prawnego w czasie, argumenty niewiążącego precedensu, poglądy formułowane przez doktrynę, czy też argumenty komparatystyczne. W konsekwencji ma to doprowadzić do traktowania ich jako argumentów służących ustalaniu znaczenia zwrotów tekstu prawnego. Koncepcja ta zwraca uwagę na kontekst, w jakim używa się języka, w szczególności zaś skupia się na wspólnocie językowej, do której mówiący należy.
The conception of Saul Kripke‘s and Hilary Putnam‘s semantics belongs to new semantic concepts. It formulates three principles which have an essential influence on the contemporary analysis of a law language.Statements which can be inferred from this concept indicate:1. The independence of the language meaning of a law text from a historical legislator‘s intention, attaching significance on the practice of the phrases used in a given communicative community.2. The influence of various ways of a language law use on the procedure of establishing its meaning.3. The evolution in time of the language meaning of a law text.Saul Kripke‘s and Hilary Putnam‘s semantics tries to prove that a law interpretation process, being compliant with the principles of the law positivism, whose characteristic feature is the linguistic character of the law, should consider the changes in time of a law text meaning, the arguments of an unbinding precedent, the views formulated by a doctrine or the comparative arguments. As a result, it is to make them treated as the arguments for establishing the meaning of the law text phrases. This concept pays attention to the context in which language is used and it focuses on the language community which a speaker belongs to.
Źródło:: Comparative Legilinguistics; 2010, 3, 1; 113-118
2080-5926
2391-4491
Pojawia się w:: Comparative Legilinguistics
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "semantyka Kripke" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język