Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Mirjana Borisavljevic"'
Autor:
Mirjana Borisavljevic
Publikováno v:
Studia Logica. 111:391-429
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c46f0b601ec4c8fa0343d20828abdbc8
https://doi.org/10.1007/s11225-022-10023-4
https://doi.org/10.1007/s11225-022-10023-4
Autor:
Mirjana Borisavljevic
Publikováno v:
Logic Journal of the IGPL. 29:739-768
In derivations of a sequent system, $\mathcal{L}\mathcal{J}$, and a natural deduction system, $\mathcal{N}\mathcal{J}$, the trails of formulae and the subformula property based on these trails will be defined. The derivations of $\mathcal{N}\mathcal{
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::70c5449afc3af38aa60c3f4b355b440c
https://doi.org/10.1093/jigpal/jzaa017
https://doi.org/10.1093/jigpal/jzaa017
Autor:
Mirjana Borisavljevic
Publikováno v:
The Review of Symbolic Logic. 11:347-370
The connection between the rules and derivations of Gentzen’s calculi NJ and LJ will be explained by several steps (i.e., systems), and an analysis of the well-known problems of the connection between reduction steps of normalization and cut elimin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7e691159c96a5e0f76fe77e4a98a9721
https://doi.org/10.1017/s1755020318000102
https://doi.org/10.1017/s1755020318000102
Autor:
Mirjana Borisavljevic
Publikováno v:
Publications de l'Institut Math?matique (Belgrade). 87:59-74
We consider a standard system of sequents and a system of extended natural deduction (which is a modification of natural deduction) for intuitionistic predicate logic and connect the special cuts, maximum cuts, from sequent derivations and maximum se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dfc9e503fc8079d9f116f566bd1bc245
https://doi.org/10.2298/pim1001059b
https://doi.org/10.2298/pim1001059b
Autor:
Mirjana Borisavljevic
Publikováno v:
Publications de l'Institut Math?matique (Belgrade). 86:27-34
Pairs of systems, which consist of a system of sequents and a natural deduction system for some part of intuitionistic logic, are considered. For each of these pairs of systems the property that the normalization theorem is a consequence of the cut-e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b0311808c8e11e861473b01bbea2793b
https://doi.org/10.2298/pim0900027b
https://doi.org/10.2298/pim0900027b
Autor:
Mirjana Borisavljevic
Publikováno v:
Publications de l'Institut Math?matique (Belgrade). :37-53
In a system of sequents for intuitionistic predicate logic a theorem, which corresponds to Prawitz?s Normal Form Theorem for natural deduction, are proved. In sequent derivations a special kind of cuts, maximum cuts, are defined. Maximum cuts from se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6609600b7ab8e292326e38789627cce0
https://doi.org/10.2298/pim0796037b
https://doi.org/10.2298/pim0796037b
Autor:
Mirjana Borisavljevic
Publikováno v:
Archive for Mathematical Logic. 45:113-148
A new set of conversions for derivations in the system of sequents for intuitionistic predicate logic will be defined. These conversions will be some modifications of Zucker's conversions from the system of sequents Open image in new window from [11]
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::71f6f9d4679c2e2b95683586645228bc
https://doi.org/10.1007/s00153-005-0295-x
https://doi.org/10.1007/s00153-005-0295-x
Autor:
Mirjana Borisavljevic
Publikováno v:
Journal of Logic and Computation. 14:769-799
A modification of natural deduction system for intuitionistic predicate logic, the extension of natural deduction system, will be defined. The main result of such modification will be that each conversion from the set of conversions of a cut-eliminat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c94d8c165f32d4021f240bfa2e5ec2eb
https://doi.org/10.1093/logcom/14.6.769
https://doi.org/10.1093/logcom/14.6.769
Autor:
Mirjana Borisavljevic
Publikováno v:
Archive for Mathematical Logic. 42:371-387
This paper presents a cut-elimination procedure for classical and intuitionistic logic, in which cut is eliminated directly, without introducing the mix rule. The well-known problem of cut eliminations, when in the derivation the contractions of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::819fead6f3e8d88bc18009e96682f03a
https://doi.org/10.1007/s00153-002-0155-x
https://doi.org/10.1007/s00153-002-0155-x
Autor:
Mirjana Borisavljevic
Publikováno v:
Publications de l'Institut Math?matique (Belgrade). 74:5-18
In a system of sequents for intuitionistic predicate logic derivations without a special kind of cuts (maximum cuts) will be considered. The following be shown: in a derivation without maximum cuts there are paths of the same form as paths in a norma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2a5f6f12f53455720f796722f1fb9331
https://doi.org/10.2298/pim0374005b
https://doi.org/10.2298/pim0374005b