Temat: Operator - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Categorical Abstract Algebraic Logic: Referential π-Institutions
Autorzy:: Voutsadakis, George
Powiązania:: https://bibliotekanauki.pl/articles/749990.pdf
Data publikacji:: 2015
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Referential Logics
Selfextensional Logics
Leibniz operator
Tarski operator
Suszko operator
π-institutions
Opis:: Wójcicki introduced in the late 1970s the concept of a referential semantics for propositional logics. Referential semantics incorporate features of the Kripke possible world semantics for modal logics into the realm of algebraic and matrix semantics of arbitrary sentential logics. A well-known theorem of Wójcicki asserts that a logic has a referential semantics if and only if it is selfextensional. Referential semantics was subsequently studied in detail by Malinowski and the concept of selfextensionality has played, more recently, an important role in the field of abstract algebraic logic in connection with the operator approach to algebraizability. We introduce and review some of the basic definitions and results pertaining to the referential semantics of π-institutions, abstracting corresponding results from the realm of propositional logics.
Źródło:: Bulletin of the Section of Logic; 2015, 44, 1-2
0138-0680
2449-836X
Pojawia się w:: Bulletin of the Section of Logic
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Oddanie pisma w placówce operatora pocztowego – uwagi de lege lata i de lege ferenda
Autorzy:: Ewa, Wójcicka,
Powiązania:: https://bibliotekanauki.pl/articles/902788.pdf
Data publikacji:: 2018-04-16
Wydawca:: Uniwersytet Warszawski. Wydawnictwa Uniwersytetu Warszawskiego
Tematy:: postal operator
court proceedings
administrative proceedings
universal postal services
operator pocztowy
postępowanie sądowe
postępowanie administracyjne
pocztowe usługi powszechne
Opis:: The aim of this article is to discuss the problems of submitting process letters to courts and public administration bodies via a postal operator as well as to indicate essential problems caused by unjustified differentiation of standards concerning the compliance with time-limits when the subject has limited or excluded opportunity to lodge a pleading a letter in person. Only in criminal proceedings and proceedings in cases of offences the participants have full freedom to choose a postal operator and to benefit from the presumption of lodging of a submitting a letter in the date of sending. In administrative proceedings, administrative court proceedings and tax proceedings, to be sure that legal deadline will be met, one should submit a letter to a court or a public administration body via a postal operator providing universal postal services. The article drew attention to a lack of consistency and consequence of the legislator relating to the regulation of submitting letters depending on the nature of proceedings and place of residence.
Źródło:: Studia Iuridica; 2017, 72; 415-429
0137-4346
Pojawia się w:: Studia Iuridica
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Rynek usług pocztowych w Polsce u progu jego pełnej liberalizacji
Autorzy:: Papiernik-Wojdera, Marzena
Matuszewska-Pierzynka, Agnieszka
Powiązania:: https://bibliotekanauki.pl/articles/658449.pdf
Data publikacji:: 2011
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: postal services market
public postal operator
Polska
liberalisation
Opis:: Postal services market in Poland has been liberalising for several years. It manifests itself through reduction of reserved area (market which is reserved for the public postal operator) and through increasing of the number of private postal operators. But these changes didn't have a major impact on the transformation of the Polish postal market. This market is regulated by a government appointed body and position of public postal operator – Poczta Polska SA – is protected by law. According to the European Directive opening up the postal market to the competition, by 1 January 2011 Poland must implement new Postal Law. New law will change, among other things, organizational and financial conditions of business activity of Poczta Polska SA. Taking into consideration the fact that the current financial standing of the Polish public postal operator is difficult, it should be underlined that Poczta Polska SA will be forced to take radical restructuring action. The main purpose of this article is to recognize the situation in the postal services market in Poland in the context of its full liberalisation and opening to the competition. The partial goals of this article are as follows: – to give an overview of the postal services market in Poland, – to show prospects of changes of this market in the face of EU Directives implementation, – to present the situation and purpose of Poczta Polska SA in the context of full liberalisation of the postal services market.
Źródło:: Acta Universitatis Lodziensis. Folia Oeconomica; 2011, 256
0208-6018
2353-7663
Pojawia się w:: Acta Universitatis Lodziensis. Folia Oeconomica
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: Closure Operators on Complete Almost Distributive Lattices-III
Autorzy:: Rao, Calyampudi Radhakrishna
Undurthi, Venugopalam
Powiązania:: https://bibliotekanauki.pl/articles/749960.pdf
Data publikacji:: 2015
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Complete Almost Distributive Lattice
Closure operator
Dual atom
Dual atomistic
Completely meet-irreducible element
Opis:: In this paper, we prove that the lattice of all closure operators of a complete Almost Distributive Lattice L with fixed maximal element m is dual atomistic. We define the concept of a completely meet-irreducible element in a complete ADL and derive a necessary and sufficient condition for a dual atom of Φ(L) to be complemented.
Źródło:: Bulletin of the Section of Logic; 2015, 44, 1-2
0138-0680
2449-836X
Pojawia się w:: Bulletin of the Section of Logic
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "Operator" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język