Year:

  1. Simple Logics for Basic Algebras.Ja̅nis Cı̅rulis - 2015 - Bulletin of the Section of Logic 44 (3/4).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2. Tense Polyadic N × M-Valued Łukasiewicz–Moisil Algebras.Aldo V. Figallo & Gustavo Pelaitay - 2015 - Bulletin of the Section of Logic 44 (3/4).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  1
    A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics.Feng Gao & George Tourlakis - 2015 - Bulletin of the Section of Logic 44 (3/4).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames.Zofia Kostrzycka - 2015 - Bulletin of the Section of Logic 44 (3/4).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  1
    Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics Pokaż Uproszczony Rekord.Alexej P. Pynko - 2015 - Bulletin of the Section of Logic 44 (3/4).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues