Results found: 2

Search results

Search:
in the keywords: K4

Sort By:

Limit search:

The concept of Index for the Assessment of Regulations' Significance (IARS) in regulatory impact evaluation

100%

Marchewka-Bartkowiak K.

Ruch Prawniczy, Ekonomiczny i Socjologiczny

2019

vol. 81

issue 2

177-190

Celem artykułu jest przedstawienie koncepcji wskaźnika oceny istotności regulacji jako narzędzia do wykorzystania w parlamentarnej ocenie skutków regulacji, ze szczególnym uwzględnieniem oceny ex-post. Wskaźnik jest elementem szeroko rozumianej ekonomicznej analizy prawa, która umożliwić może skuteczniejszą kontrolę stanowienia prawa przez parlamenty. Wskaźnik umożliwia także weryfikację RIA przeprowadzonego przez projektodawcę na etapie oceny skutków regulacji ex-ante. Ponadto wskaźnik służyć może do przeprowadzenia analizy całego procesu legislacyjnego w parlamencie w danym okresie na podstawie przyjętych kryteriów prawnych i merytorycznych.

This article aims to present the concept of the Index for the Assessment of Regulations’ Significance as a tool used in parliamentary regulatory impact assessment, with a special focus on expost assessment. The Index is an element of the broadly defined economic analysis of law, which can facilitate a more effective scrutiny of parliamentary lawmaking. The Index also enables theRIA (Regulatory Impact Assessment) to be verified by the act originator at the stage of the ex-ante regulatory impact assessment. Furthermore, the Index can also serve as a tool for conducting an analysis of the overall legislation process employed in parliament over a given period of time, on the basis of the adopted legal and substantive criteria.

On the proof-theory of a first-order extension of GL

81%

Schwartz Y., Tourlakis G.

Logic and Logical Philosophy

2014

vol. 23

issue 3

329–363

We introduce a first order extension of GL, called ML3, and develop its proof theory via a proxy cut-free sequent calculus GLTS. We prove the highly nontrivial result that cut is a derived rule in GLTS, a result that is unavailable in other known first-order extensions of GL. This leads to proofs of weak reflection and the related conservation result for ML3, as well as proofs for Craig’s interpolation theorem for GLTS. Turning to semantics we prove that ML3 is sound with respect to arithmetical interpretations and that it is also sound and complete with respect to converse well-founded and transitive finite Kripke models. This leads us to expect that a Solovay-like proof of arithmetical completeness of ML3 is possible.

Refine search results

1 Logic and Logical Philosophy

1 Ruch Prawniczy, Ekonomiczny i Socjologiczny

1 Marchewka-Bartkowiak K.

1 Schwartz Y.

1 Tourlakis G.

1 2019

1 2014

Search results

The concept of Index for the Assessment of Regulations' Significance (IARS) in regulatory impact evaluation

On the proof-theory of a first-order extension of GL