11 found
Order:
  1.  53
    On Sequence-Conclusion Natural Deduction Systems.Branislav R. Boričić - 1985 - Journal of Philosophical Logic 14 (4):359 - 377.
  2.  26
    A Cut-Free Gentzen-Type System for the Logic of the Weak Law of Excluded Middle.Branislav R. Boričić - 1986 - Studia Logica 45 (1):39-53.
    The logic of the weak law of excluded middleKC p is obtained by adding the formula A A as an axiom scheme to Heyting's intuitionistic logicH p . A cut-free sequent calculus for this logic is given. As the consequences of the cut-elimination theorem, we get the decidability of the propositional part of this calculus, its separability, equality of the negationless fragments ofKC p andH p , interpolation theorems and so on. From the proof-theoretical point of view, the formulation presented (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  22
    On Some Interpretations of Classical Logic.Branislav R. Boričić & B. R. Boričić - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):409-412.
  4.  12
    On Certain Normalizable Natural Deduction Formulations of Some Propositional Intermediate Logics.Branislav R. Boričić - 1988 - Notre Dame Journal of Formal Logic 29 (4):563-568.
  5.  26
    Interpolation Theorem for Intuitionistic S4.Branislav R. Boricic - 1991 - Bulletin of the Section of Logic 20 (1):2-6.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  10
    On Some Interpretations of Classical Logic.Branislav R. Boričić & B. R. Boričić - 1992 - Mathematical Logic Quarterly 38 (1):409-412.
    In distinction from the well-known double-negation embeddings of the classical logic we consider some variants of single-negation embeddings and describe some classes of superintuitionistic first-order predicate logics in which the classical first-order calculus is interpretable in such a way. Also we find the minimal extensions of Heyting's logic in which the classical predicate logic can be embedded by means of these translations.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  21
    On Some Subsystems of Dummett's LC.Branislav R. Boričić - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (14-18):243-247.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  10
    A Note on Some Intermediate Propositional Calculi.Branislav R. Boričić - 1984 - Journal of Symbolic Logic 49 (2):329-333.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  11
    Some Modifications of the Godel Translation of Classical Intuitionictic Logic.Branislav R. Boricic - 1990 - Bulletin of the Section of Logic 19 (3):84-86.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  21
    A Note on Sequent Calculi Intermediate Between LJ and LK.Branislav R. Boričić - 1988 - Studia Logica 47 (2):151 - 157.
    We prove that every finitely axiomatizable extension of Heyting's intuitionistic logic has a corresponding cut-free Gentzen-type formulation. It is shown how one can use this result to find the corresponding normalizable natural deduction system and to give a criterion for separability of considered logic. Obviously, the question how to obtain an effective definition of a sequent calculus which corresponds to a concrete logic remains a separate problem for every logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11.  9
    On Some Subsystems of Dummett's LC.Branislav R. Boričić - 1985 - Mathematical Logic Quarterly 31 (14‐18):243-247.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark