27 found
Order:
  1.  33
    Is the Semantics of Branching Structures Adequate for Non-Metric Ockhamist Tense Logics?Hirokazu Nishimura - 1979 - Journal of Philosophical Logic 8 (1):477 - 478.
  2.  35
    Boolean Valued Dedekind Domains.Hirokazu Nishimura - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (5-6):65-76.
  3.  26
    Sequential Method in Quantum Logic.Hirokazu Nishimura - 1980 - Journal of Symbolic Logic 45 (2):339-352.
  4.  32
    The Semantical Characterization of de Dicto in Continuous Modal Model Theory.Hirokazu Nishimura - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (15):233-240.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  24
    Is the Semantics of Branching Structures Adequate for Chronological Modal Logics?Hirokazu Nishimura - 1979 - Journal of Philosophical Logic 8 (1):469 - 475.
  6.  30
    A Preservation Theorem for Tense Logic.Hirokazu Nishimura - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (19-21):331-335.
  7.  28
    Foundations of Boolean Valued Algebraic Geometry.Hirokazu Nishimura - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (26-30):421-438.
  8.  28
    Some Boolean Valued Commutative Algebra.Hirokazu Nishimura - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (23-24):367-384.
  9.  27
    Some Connections Between Boolean Valued Analysis and Topological Reduction Theory for C*-Algebras.Hirokazu Nishimura - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):471-479.
  10.  30
    Boolean Valued Lie Algebras.Hirokazu Nishimura - 1991 - Journal of Symbolic Logic 56 (2):731-741.
    In this paper we study a certain class of Lie algebras over commutative von Neumann algebras satisfying a certain finiteness condition. By using Boolean valued methods developed by Takeuti [8]-[11], we will establish the basic structure and representation theorems.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  26
    On the Absoluteness of Types in Boolean Valued Lattices.Hirokazu Nishimura - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):241-246.
  12.  24
    On the Completeness of Chronological Logics with Modal Operators.Hirokazu Nishimura - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (31):487-496.
  13.  31
    A Boolean Transfer Principle From L*‐Algebras to AL*‐Algebras.Hirokazu Nishimura - 1993 - Mathematical Logic Quarterly 39 (1):241-250.
    Just as Kaplansky [4] has introduced the notion of an AW*-module as a generalization of a complex Hilbert space, we introduce the notion of an AL*-algebra, which is a generalization of that of an L*-algebra invented by Schue [9, 10]. By using Boolean valued methods developed by Ozawa [6–8], Takeuti [11–13] and others, we establish its basic properties including a fundamental structure theorem. This paper should be regarded as a continuation or our previous paper [5], the familiarity with which is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  24
    Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies.Hirokazu Nishimura - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (31):481-490.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  23
    Boolean Valued and Stone Algebra Valued Measure Theories.Hirokazu Nishimura - 1994 - Mathematical Logic Quarterly 40 (1):69-75.
    In conventional generalization of the main results of classical measure theory to Stone algebra valued measures, the values that measures and functions can take are Booleanized, while the classical notion of a σ-field is retained. The main purpose of this paper is to show by abundace of illustrations that if we agree to Booleanize the notion of a σ-field as well, then all the glorious legacy of classical measure theory is preserved completely.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  12
    On the Completeness of Chronological Logics with Modal Operators.Hirokazu Nishimura - 1979 - Mathematical Logic Quarterly 25 (31):487-496.
  17.  22
    Foundations of Boolean Valued Algebraic Geometry.Hirokazu Nishimura - 1991 - Mathematical Logic Quarterly 37 (26‐30):421-438.
  18.  15
    On a Duality Between Boolean Valued Analysis and Topological Reduction Theory.Hirokazu Nishimura - 1993 - Mathematical Logic Quarterly 39 (1):23-32.
    By creating an unbounded topological reduction theory for complex Hilbert spaces over Stonean spaces, we can give a category-theoretic duality between Boolean valued analysis and topological reduction theory for complex Hilbert spaces. MSC: 03C90, 03E40, 06E15, 46M99.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  27
    Model Theory for Tense Logic: Saturated and Special Models with Applications to the Tense Hierarchy.Hirokazu Nishimura - 1981 - Studia Logica 40 (2):89 - 98.
    The aims of this paper are: (1) to present tense-logical versions of such classical notions as saturated and special models; (2) to establish several fundamental existence theorems about these notions; (3) to apply these powerful techniques to tense complexity.In this paper we are concerned exclusively with quantifiedK 1 (for linear time) with constant domain. Our present research owes much to Bowen [2], Fine [5] and Gabbay [6].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  15
    On the Absoluteness of Types in Boolean Valued Lattices.Hirokazu Nishimura - 1990 - Mathematical Logic Quarterly 36 (3):241-246.
  21.  24
    Hauptsatz for Higher-Order Modal Logic.Hirokazu Nishimura - 1983 - Journal of Symbolic Logic 48 (3):744-751.
  22.  10
    Some Boolean Valued Commutative Algebra.Hirokazu Nishimura - 1991 - Mathematical Logic Quarterly 37 (23‐24):367-384.
  23.  12
    Boolean Valued Dedekind Domains.Hirokazu Nishimura - 1991 - Mathematical Logic Quarterly 37 (5‐6):65-76.
  24.  11
    The Semantical Characterization of de Dicto in Continuous Modal Model Theory.Hirokazu Nishimura - 1981 - Mathematical Logic Quarterly 27 (15):233-240.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  8
    Saturated and Special Models in Modal Model Theory With Applications to the Modal and DE RE Hierarchies.Hirokazu Nishimura - 1980 - Mathematical Logic Quarterly 26 (31):481-490.
  26.  8
    Some Connections Between Boolean Valued Analysis and Topological Reduction Theory for C*‐Algebras.Hirokazu Nishimura - 1990 - Mathematical Logic Quarterly 36 (5):471-479.
  27.  7
    A Preservation Theorem for Tense Logic.Hirokazu Nishimura - 1980 - Mathematical Logic Quarterly 26 (19‐21):331-335.