Switch to: References

Add citations

You must login to add citations.
  1. Inter-model connectives and substructural logics.Igor Sedlár - 2014 - In Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.), Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI). Cham, Switzerland: Springer. pp. 195-209.
    The paper provides an alternative interpretation of ‘pair points’, discussed in Beall et al., "On the ternary relation and conditionality", J. of Philosophical Logic 41(3), 595-612. Pair points are seen as points viewed from two different ‘perspectives’ and the latter are explicated in terms of two independent valuations. The interpretation is developed into a semantics using pairs of Kripke models (‘pair models’). It is demonstrated that, if certain conditions are fulfilled, pair models are validity-preserving copies of positive substructural models. This (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL.Miloš Kosterec - 2020 - Journal of Philosophical Logic 49 (1):121-133.
    I present an analysis according to which the current state of the definition of substitution leads to a contradiction in the system of Transparent Intensional Logic. I entail the contradiction using only the basic definitions of TIL and standard results. I then analyse the roots of the contradiction and motivate the path I take in resolving the contradiction. I provide a new amended definition of collision-less substitution which blocks the contradiction in a non-ad hoc way. I elaborate on the consequences (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Substitution inconsistencies in Transparent Intensional Logic.Miloš Kosterec - 2021 - Journal of Applied Non-Classical Logics 31 (3-4):355-371.
    This paper presents several important results for Transparent Intensional Logic. The conversions that are standardly taken to be valid – namely restricted β-conversion by name and β-reduction...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark