Czasopisma naukowe | Scientific Journals: Ostatnio dodane
Wyświetlanie pozycji 2241-2260 z 31193
-
Reforma konstytucyjna w ZSRR
(Wydawnictwo Uniwersytetu Łódzkiego, 1994) -
Úvahy o štátoprávnych východiskách Českaslovenského modelu federalizmu
(Wydawnictwo Uniwersytetu Łódzkiego, 1994) -
Ustrój gospodarczy i finansowy państwa w nowej konstytucji polskiej
(Wydawnictwo Uniwersytetu Łódzkiego, 1994) -
Zmiany w pozycji prawnej Kościoła ewangelicko-reformowanego w Polsce po 1921 roku
(Wydawnictwo Uniwersytetu Łódzkiego, 1994) -
Katalog praw i wolności obywatelskich w nowej konstytucji polskiej. (Zarys podstawowych problemów)
(Wydawnictwo Uniwersytetu Łódzkiego, 1994) -
Gwarancje praworządności i konstytucyjności w projektach nowej konstytucji polskiej
(Wydawnictwo Uniwersytetu Łódzkiego, 1994) -
Listina základných práv a slobôd. (Východiská a realizácia)
(Wydawnictwo Uniwersytetu Łódzkiego, 1994) -
Uwagi o modelu pomocy społecznej ukształtowanym ustawą z 29 listopada 1990 roku
(Wydawnictwo Uniwersytetu Łódzkiego, 1993) -
Niektóre problemy prawne polityki państwa wobec rodziny
(Wydawnictwo Uniwersytetu Łódzkiego, 1993) -
La protection de la santé du travailleur en France
(Wydawnictwo Uniwersytetu Łódzkiego, 1993) -
Niektóre teoretyczne aspekty postępowania w zakresie ustalania okoliczności i przyczyn wypadków przy pracy
(Wydawnictwo Uniwersytetu Łódzkiego, 1993) -
Uwagi o winie w prawie ubezpieczenia społecznego
(Wydawnictwo Uniwersytetu Łódzkiego, 1993) -
Problematyka waloryzacji rent i emerytur
(Wydawnictwo Uniwersytetu Łódzkiego, 1993) -
A European Dimension of Worker Participation in the United Kingdom
(Wydawnictwo Uniwersytetu Łódzkiego, 1993) -
Udział pracowników w organach przedsiębiorstwa kapitalistycznego
(Wydawnictwo Uniwersytetu Łódzkiego, 1993) -
Sequent Systems for Consequence Relations of Cyclic Linear Logics
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-04-24)Linear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free ... -
A Syntactic Proof of the Decidability of First-Order Monadic Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-02-09)Decidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided. In the present paper we introduce a ... -
Fuzzy Sub-Equality Algebras Based on Fuzzy Points
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-12-18)In this paper, by using the notion of fuzzy points and equality algebras, the notions of fuzzy point equality algebra, equality-subalgebra, and ideal were established. Some characterizations of fuzzy subalgebras were ... -
Some Logics in the Vicinity of Interpretability Logics
(Wydawnictwo Uniwersytetu Łódzkiego, 2023-11-22)In this paper we shall define semantically some families of propositional modal logics related to the interpretability logic \(\mathbf{IL}\). We will introduce the logics \(\mathbf{BIL}\) and \(\mathbf{BIL}^{+}\) in the ... -
Lifting Results for Finite Dimensions to the Transfinite in Systems of Varieties Using Ultraproducts
(Wydawnictwo Uniwersytetu Łódzkiego, 2024-02-12)We redefine a system of varieties definable by a schema of equations to include finite dimensions. Then we present a technique using ultraproducts enabling one to lift results proved for every finite dimension to the ...