Switch to: References

Add citations

You must login to add citations.
  1. The Elimination of Maximum Cuts in Linear Logic and BCK Logic.Mirjana Borisavljevic - 2023 - Studia Logica 111 (3):391-429.
    In the sequent systems for exponential-free linear logic and BCK logic a procedure of elimination of maximum cuts, cuts which correspond to maximum segments from natural deduction derivations, will be presented.
    Download  
     
    Export citation  
     
    Bookmark  
  • Maximum Segments as Natural Deduction Images of Some Cuts.Mirjana Borisavljević - 2022 - Logica Universalis 16 (3):499-533.
    A special kind of maximum cuts in sequent derivations, actual maximum cuts, is defined. It is shown that (1) each actual maximum cut of a sequent derivation makes maximum segments in its natural deduction image, and (2) each maximum segment of a natural deduction derivation makes an actual maximum cut in its sequent image.
    Download  
     
    Export citation  
     
    Bookmark