Search

Premise selection is a fundamental problem of automated theorem proving. Previous works often use intricate symbolic methods, rely on domain knowledge, and require significant engineering effort to solve this task. In this work, we show that Magnushammer, a neural transformer-based approach, can outperform traditional symbolic systems by a large margin. Tested on the PISA benchmark, Magnushammer achieves $59.5\%$ proof rate compared to a $38.3\%$ proof rate of Sledgehammer, the most mature and popular symbolic-based solver. Furthermore, by combining Magnushammer with a neural formal prover based on a language model, we significantly improve the previous state-of-the-art proof rate from $57.0\%$ to $71.0\%$.

The article discusses the issue of legislative techniques in preparing the Krakow guild statutes. It was established in the analysis that in these statutes an attempt was made to group regulations that applied to the same subjects, although this was not done consistently. In the initial parts of the statutes, the rules of the system were often specified (the election of elders and their authority), or the requirements for candidates for guild masters. In the statutes of the journeymen bricklayers of 1586, the legal subjects were already clearly systematically divided into thematic chapters. Many of the issues regulated in the statutes were of universal value, to name a few, the organisation of the guild judiciary, or orders and prohibitions related to religious life and morality. Within the statutes, these issues were regulated in a similar manner, although there are differences, likely resulting from what until then had been common practice. As it sometimes emerges from the content of the approvals of statutes by the city council, they were created because of the need to assemble old customs and scattered individual regulations. Thus, since the enactment of a statute may have had much to do with putting an established custom into writing, this may well have been the source of the differences between the statutes. Sometimes the granting of a statute was related either to the establishment of a new guild or to reshaping the organisation of crafts in the city, e.g., the addition of a particular type of production to an already existing guild. When an entirely new statute was drafted, especially in Kazimierz and Kleparz, models from Krakow were followed. Only very rarely was borrowing from another guild explicitly disclosed in the content of the statutes, but in the course of the analysis examples were found of copying fragments of the Krakow statutes nearly verbatim in their Kazimierz and Kleparz counterparts. The phenomenon of reaching for ready-made normative models concerned not only guild statutes but was also part of the practice of adopting ready-made solutions in the areas of private law and political systems. However, the sixteenth-century statutes in the Krakow tri-cities (Krakow, Kazimierz, Kleparz) were most often original legal works, developed according to the canon of defining the necessary issues, respecting the existing customs, and observing the solutions applied by other guilds of the tri-cities.

Sprawozdanie z II Seminarium projektowego PB NPRH "Fontes Iuris Lusatiae Superioris Vetustissimi"

Krytyczna edycja źródłowa najstarszej księgi miejskiej zgorzeleckiej (tzw. Czerwonej Księgi), część druga: zapiski z lat 1343-1389. Critical edition of the oldest town court book of records of Görlitz (the so-called Red Book), part two: entries from the years 1343-1389. Kritische Edition des ältesten Görlitzer Stadtbuchs (sog. Roten Buchs), erste Teil: Einträge aus der Jahren 1343-1389.

Krytyczna edycja źródłowa najstarszej księgi miejskiej zgorzeleckiej (tzw. Czerwonej Księgi), część pierwsza: zapiski z lat 1305-1343. Critical edition of the oldest town court book of records of Görlitz (the so-called Red Book), part one: entries from the years 1305-1343. Kritische Edition des ältesten Görlitzer Stadtbuchs (sog. Roten Buches), erste Teil: Einträge aus der Jahren 1305-1343.

Publikacja recenzowana / Peer-reviewed publication W ostatnich kilku latach w ramach serii Fontes Iuris Polonici ukazały się cztery tomy źródeł. Trzy z nich to księgi kryminalne miasta Krakowa z lat 1554–1615, 1589–1604 oraz lat 1630–1633 i 1679–1690, wydane przez zespół kierowany przez Wacława Uruszczaka (Maciej Mikuła, Krzysztof Fokt, Anna Karabowicz). Ponadto w serii ukazała się księga kryminalna miasta Dobczyc z lat 1699–1737, opracowana przez M. Mikułę. Wydane źródła zawierają liczne informacje o stosowaniu w praktyce – zarówno przez sądy, jak i pełnomocników procesowych – przepisów prawa stanowionego. Są to dane, które wzmacniają tezę o szerokim wykorzystaniu prawa spisanego w miejskiej praktyce prawnej. Na kartach tych ksiąg odnaleźć można odwołania do prac prawniczych Jodoka Damhoudera, Andrzeja Lipskiego, Bartłomieja Groickiego, Pawła Szczerbica i Mikołaja Jaskiera. Four volumes of sources were published in the recent few years in the series „Fontes Iuris Polonici”. Th ree of them are Cracow criminal records from 1554–1615, 1589–1604, 1630–1633 and 1679–1690, which were edited by a research group (Wacław Uruszczak, Maciej Mikuła, Krzysztof Fokt, Anna Karabowicz). Another volume includes a criminal court records of Dobczyce (1699–1737), prepared and edited by M. Mikuła. Edited records deliver a valuable information about legal sources, which were in use in legal practice. Th ere were applicate by courts, also by parties (plaintiff s and defendants and their plenipotentiaries). Th ese evidences strengthen a hypothesis of using several written law sources in a legal practice. Th e pages of the edited sources include links to works of Jodok Damhouder, Andrzej Lipski, Bartłomiej Groicki, Paweł Szczerbic and Mikołaj Jaskier.

Tekst jest sprawozdaniem z I seminarium projektowego projektu badawczego NPRH pt. "Fontes Iuris Lusatiae Superioris Vetustissimi"