Year:

Forthcoming articles
  1. 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. 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. Wesley Calvert (forthcoming). On Three Notions of Effective Computation Over R. Logic Journal of the Igpl.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Dimitar P. Guelev (forthcoming). Interval-Related Interpolation in Interval Temporal Logics. Logic Journal of the Igpl.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Emiliano Lorini, Andreas Herzig, France Jomi F. Hübner & Laurent Vercouter (forthcoming). A Logic of Trust and Reputation. Logic Journal of the Igpl.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. A. Rotolo & C. Smith (forthcoming). Collective Trust and Normative Agents. Logic Journal of the Igpl.
    No categories
     
    My bibliography  
     
    Export citation  
  7. Frederik Van De Putte & Christian Strasser (forthcoming). Three Formats of Prioritized Adaptive Logics: A Comparative Study. Logic Journal of the Igpl.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Peter Verdée (forthcoming). Strong, Universal and Provably Non-Trivial Set Theory by Means of Adaptive Logic. Logic Journal of the Igpl.
    No categories
     
    My bibliography  
     
    Export citation  
  9. Peter Verdée (forthcoming). A Proof Procedure for Adaptive Logics. Logic Journal of the Igpl.
    No categories
     
    My bibliography  
     
    Export citation