Switch to: References

Add citations

You must login to add citations.
  1. Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic.Mitio Takano - 1987 - Studia Logica 46 (3):247 - 253.
    Let EOA be the elementary ontology augmented by an additional axiom S (S S), and let LS be the monadic second-order predicate logic. We show that the mapping which was introduced by V. A. Smirnov is an embedding of EOA into LS. We also give an embedding of LS into EOA.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (1 other version)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  
  • (1 other version)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  
  • 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  
  • Stanisław leśniewski.Peter Simons - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   10 citations