Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: descendants

Sortuj według:

Ogranicz wyniki do:

Computing with Infinite Terms and Infinite Reductions

100%

Ketema J. , Simonsen J. G.

Fundamenta Informaticae

2019

tom Vol. 170, nr 4

339--365

We define computable infinitary rewriting by introducing computability to the study of strongly convergent infinite reductions over infinite first-order terms. Given computable infinitary reductions, we show that descendants and origins-essential to proving fundamental properties such as compression and confluence-are computable across such reductions.

Forma wykluczenia "bonum prolis" w doktrynie i orzecznictwie Roty Rzymskiej

72%

Gołębiowska A.

Ius Matrimoniale

2012

tom 23

nr 17

65-84

Issues concerning the procreation and upbringing of children has always been of special concern of the Church and appeared in the regulation of rights on the basis of Marriage Canon Law. Codex of John Paul II in 1983, contains no provisions that define marriage invalid because of the exclusion of offspring. The decision of the Roman Rota that it evokes the title of the exclusion of offspring, as a second source of nullity of marriage. The Roman Rota judges stress that the positive act of will contrary to the essential purpose of marriage, which is the procreation and education of offspring has the same effect as a condition contrary to the essence of marriage. At the focus issues of jurisprudence in the form of exclusion of children received the case law of the Roman Rota, which have the competence of the interpretation of the law.The Roman Rota judges indicate that the selected candidates must demonstrate evidence that the person containing marriage ruled out having children forever, or postponed the decision to have children at some time, but with the indication of the circumstances, the reasons for its decision. Decisions given by the Roman Rota Tribunals show all the particular Churches of significant occupational exposure limits and terms. In addition, a major source of knowledge of canon law. Thus, marriage invalidly contains one who in a certain way limits the marital consensus or a positive act of will exclude the offspring by avoiding the conception or by abortion or kill the unborn child.

Wykluczenie prawa do potomstwa (kan. 1101 § 2 KPK) w świetle wyroku Roty Rzymskiej c. Sciacca z 27 kwietnia 2007 r.

58%

Urbanowska-Wójcińska D.

Ius Matrimoniale

2016

tom 27

nr 2

123-132

The judgment (pro nullitate matrimonii) was issued in the third instance (it was negative in the first instance and positive in the second instance) due to the exclusion bonum prolis (can. 1101 § 1 CIC) by the man. On the basis of testimonies of the petitioner and witnesses, after taking into consideration all circumstances, especially cause of simulation which was pessimistic view of the world and all entire life, Roman Rota judges had no doubt that the petitioner excluded the good of offspring by his positive act of will.