Switch to: References

Add citations

You must login to add citations.
  1. Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology.Mitio Takano - 1991 - Mathematical Logic Quarterly 37 (9‐12):129-138.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology.Mitio Takano - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):129-138.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On Blass Translation for Leśniewski’s Propositional Ontology and Modal Logics.Takao Inoué - 2021 - Studia Logica 110 (1):265-289.
    In this paper, we shall give another proof of the faithfulness of Blass translation of the propositional fragment \ of Leśniewski’s ontology in the modal logic \ by means of Hintikka formula. And we extend the result to von Wright-type deontic logics, i.e., ten Smiley-Hanson systems of monadic deontic logic. As a result of observing the proofs we shall give general theorems on the faithfulness of B-translation with respect to normal modal logics complete to certain sets of well-known accessibility relations (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation