Switch to: References

Add citations

You must login to add citations.
  1. Paraconsistency in Categories: Case of Relevance Logic.Vladimir L. Vasyukov - 2011 - Studia Logica 98 (3):429-443.
    Categorical-theoretic semantics for the relevance logic is proposed which is based on the construction of the topos of functors from a relevant algebra (considered as a preorder category endowed with the special endofunctors) in the category of sets Set. The completeness of the relevant system R of entailment is proved in respect to the semantic considered.
    Download  
     
    Export citation  
     
    Bookmark   2 citations