#### Filter Results:

- Full text PDF available (4)

#### Publication Year

1984

2015

- This year (0)
- Last 5 years (3)
- Last 10 years (3)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

The article deals with the economic behaviour of a hypothetical political leader in the institutionally underdeveloped democratic environment of a transitional society. By using Stigler-Peltzman’s model of economic regulation, it has been shown that there is no optimal solution for an autocratic leader. In the long run, wealth transfer to political… (More)

- Branislav R. Boricic
- J. Philosophical Logic
- 1985

- Branislav R. Boricic
- Studia Logica
- 1986

- Branislav R. Boricic
- Fuzzy Sets and Systems
- 1999

- Branislav R. Boricic
- Notre Dame Journal of Formal Logic
- 1988

- Branislav R. Boricic
- J. Symb. Log.
- 1984

- Branislav R. Boricic, Mirjana Ilic
- Studia Logica
- 2015

- Branislav R. Boricic
- Studia Logica
- 1988

- Branislav R. Boricic
- Math. Log. Q.
- 1985

$ 0. Introduction By giving a positive solution to the problem posed in the paper [S] we have shown (cf. [l]) that the sequence of intermediate propositional systems (hereafter : systems) NLC, (n 2 1 ) contains three different systems only: the classical propositional calculus NLC, , DUMMETT'S system NLC, (cf. [3]) and the system NLC,. In this paper we will… (More)

The size of a lambda term’s type assignment is traditionally interpreted as the number of involved typing rules, since that interpretation corresponds to the complexity of underlying logical proof. However, it can be also assessed using some finergrained measures such as the number of involved type declarations, or even as the sum of the sizes of all types… (More)