Year:

Forthcoming articles
  1.  3 DLs
    Gemma Robles & José M. Méndez (Forthcoming). A Routley-Meyer Semantics for Truth-Preserving and Well-Determined Łukasiewicz 3-Valued Logics. Logic Journal of the Igpl.
    Łukasiewicz 3-valued logic Ł3 is often understood as the set of all valid formulas according to Łukasiewicz 3-valued matrices MŁ3. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: ‘truth-preserving’ Ł3a and ‘well-determined’ Ł3b defined by two different consequence relations on the 3-valued matrices MŁ3. The aim of this article is to provide a Routley–Meyer ternary semantics for each one of these three versions of Łukasiewicz 3-valued logic: Ł3, Ł3a and Ł3b.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2.  0 DLs
    C. Areces, E. Franconi, R. Goré, M. de Rijke & H. Schlingloff (forthcoming). Methods for Modalities 1, Volume 8 (3). Logic Journal of the Igpl.
     
    My bibliography  
     
    Export citation  
  3.  3 DLs
    Wesley Calvert (forthcoming). On Three Notions of Effective Computation Over R. Logic Journal of the Igpl.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4.  2 DLs
    Emiliano Lorini, Andreas Herzig, France Jomi F. Hübner & Laurent Vercouter (forthcoming). A Logic of Trust and Reputation. Logic Journal of the Igpl.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5.  3 DLs
    Frederik Van De Putte & Christian Strasser (forthcoming). Three Formats of Prioritized Adaptive Logics: A Comparative Study. Logic Journal of the Igpl.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6.  0 DLs
    Peter Verdée (forthcoming). Strong, Universal and Provably Non-Trivial Set Theory by Means of Adaptive Logic. Logic Journal of the Igpl.
     
    My bibliography  
     
    Export citation  
  7.  0 DLs
    Peter Verdée (forthcoming). A Proof Procedure for Adaptive Logics. Logic Journal of the Igpl.
     
    My bibliography  
     
    Export citation  
 Previous issues
  
Next issues