Yutaka Miyazaki

According to our database, Yutaka Miyazaki authored at least 13 papers between 1999 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A Circumference-Measurement Method Using a Model of a Leg and a 3D Camera.

Kamui Ono, Reimei Koike, Yutaka Miyazaki, Mariko Masujima, Keiko Ogawa-Ochiai, Norimichi Tsumura

Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021

2018

Normal Extensions of KTB of Codimension 3.

James Koussas, Tomasz Kowalski, Yutaka Miyazaki, Michael Stevens

Proceedings of the Advances in Modal Logic 12, 2018

2017

Normal Modal Logics Determined by Aligned Clusters.

Zofia Kostrzycka, Yutaka Miyazaki

Stud Logica, 2017

2016

The structure of the lattice of normal extensions of modal logics with cyclic axioms.

Yutaka Miyazaki

Proceedings of the Advances in Modal Logic 11, 2016

2009

Concept Drift in documents and Formal Concept Analysis.

Yutaka Miyazaki, Yuzuru Tanaka

Proceedings of the Information Modelling and Knowledge Bases XXI, 2009

All Splitting Logics in the Lattice NExt(KTB).

Tomasz Kowalski, Yutaka Miyazaki

Proceedings of the Towards Mathematical Philosophy, 2009

2007

A Splitting Logic in NExt(KTB).

Yutaka Miyazaki

Stud Logica, 2007

Kripke Incomplete Logics Containing KTB.

Yutaka Miyazaki

Stud Logica, 2007

2005

Some Properties of Orthologics.

Yutaka Miyazaki

Stud Logica, 2005

2004

Normal Modal Logics Containing KTB with some Finiteness Conditions.

Yutaka Miyazaki

Proceedings of the Advances in Modal Logic 5, 2004

2002

Binary Logics, Orthologics, and their Relations to Normal Modal Logics.

Yutaka Miyazaki

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2001

Kripke-style Semantics of Orthomodular Logics.

Yutaka Miyazaki

Math. Log. Q., 2001

1999

The Super-Amalgamation Property of the Variety of Ortholattices.

Yutaka Miyazaki

Reports Math. Log., 1999