Switch to: References

Add citations

You must login to add citations.
  1. Subminimal Logics in Light of Vakarelov’s Logic.Satoru Niki - forthcoming - Studia Logica:1-21.
    We investigate a subsystem of minimal logic related to D. Vakarelov’s logic \, using the framework of subminimal logics by A. Colacito, D. de Jongh and A. L. Vargas. In the course of it, the relationship between the two semantics in the respective frameworks is clarified. In addition, we introduce a sequent calculus for the investigated subsystem, and some proof-theoretic properties are established. Lastly, we formulate a new infinite class of subsystems of minimal logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark