Masanao Ozawa

Publication Activity (10 Years)

Years Active: 1994-2022
Publications (10 Years): 8

Top Topics

Morphological Operations

Algebraic Geometry

Top Venues

Rev. Symb. Log.

Ann. Pure Appl. Log.

Publications

Masanao Ozawa
Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory. QPL (2022)
Irina Basieva, Andrei Yu. Khrennikov, Masanao Ozawa
Quantum-like modeling in biology with open quantum systems and instruments. Biosyst. 201 (2021)
Andreas Döring, Benjamin Eva, Masanao Ozawa
A Bridge between Q-Worlds. Rev. Symb. Log. 14 (2) (2021)
Masanao Ozawa
Quantum set theory: Transfer Principle and De Morgan's Laws. Ann. Pure Appl. Log. 172 (4) (2021)
Masanao Ozawa, Andrei Yu. Khrennikov
Application of Theory of Quantum Instruments to Psychology: Combination of Question Order Effect with Response Replicability Effect. Entropy 22 (1) (2020)
Masanao Ozawa
Orthomodular-Valued Models for quantum Set Theory. Rev. Symb. Log. 10 (4) (2017)
Masanao Ozawa
Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory. New Gener. Comput. 34 (1-2) (2016)
Masanao Ozawa
Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals. QPL (2016)
Masanao Ozawa
Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory (Extended Abstract). QPL (2014)
Harumichi Nishimura, Masanao Ozawa
Perfect computational equivalence between quantum Turing machines and finitely generated uniform quantum circuit families. Quantum Inf. Process. 8 (1) (2009)
Masanao Ozawa
Transfer principle in quantum set theory. J. Symb. Log. 72 (2) (2007)
Harumichi Nishimura, Masanao Ozawa
Uniformity of quantum circuit families for error-free algorithms. Theor. Comput. Sci. 332 (1-3) (2005)
Masanao Ozawa
Halting of Quantum Turing Machines. UMC (2002)
Harumichi Nishimura, Masanao Ozawa
Computational complexity of uniform quantum circuit families and quantum Turing machines. Theor. Comput. Sci. 276 (1-2) (2002)
Masanao Ozawa, Harumichi Nishimura
Local transition functions of quantum Turing machines. RAIRO Theor. Informatics Appl. 34 (5) (2000)
Masanao Ozawa
Scott Incomplete Boolean Ultrapowers of the Real Line. J. Symb. Log. 60 (1) (1995)
Masanao Ozawa
Forcing in Nonstandard Analysis. Ann. Pure Appl. Log. 68 (3) (1994)