Year:

  1. The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice.Josef Berger, Hajime Ishihara & Peter Schuster - 2012 - Reports on Mathematical Logic:63-86.
     
    Export citation  
     
    Bookmark  
  2. Ultrafilters Over Closure Spaces.Roland Hinnion - 2012 - Reports on Mathematical Logic:115-124.
     
    Export citation  
     
    Bookmark  
  3. Strong Normalization of a Typed Lambda Calculus for Intuitionistic Bounded Linear-Time Temporal Logic.Norihiro Kamide - 2012 - Reports on Mathematical Logic:29-61.
     
    Export citation  
     
    Bookmark  
  4. Relational and Neighborhood Semantics for Intuitionistic Modal Logic.Kensuke Kojima - 2012 - Reports on Mathematical Logic:87-113.
  5. Paraconsistency and Consistency Understood as the Absence of the Negation of Any Implicative Theorem.Gemma Robles - 2012 - Reports on Mathematical Logic:147-171.
     
    Export citation  
     
    Bookmark  
  6. A Lattice Of Implicative Extensions Of Regular Kleene's Logics.Natalya Tomova - 2012 - Reports on Mathematical Logic:173-182.
     
    Export citation  
     
    Bookmark   13 citations  
  7. Caal: Categorical Abstract Algebraic Logic: Coordinatization Is Algebraization.George Voutsadakis - 2012 - Reports on Mathematical Logic:125-145.
     
    Export citation  
     
    Bookmark  
  8. Secrecy Logic: Protoalgebraic S-Secrecy Logics.George Voutsadakis - 2012 - Reports on Mathematical Logic:3-28.
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues