dblp.uni-trier.dewww.uni-trier.de

Yutaka Miyazaki

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
7EEYutaka Miyazaki: Kripke Incomplete Logics Containing KTB. Studia Logica 85(3): 303-317 (2007)
6EEYutaka Miyazaki: A Splitting Logic in NExt(KTB). Studia Logica 85(3): 381-394 (2007)
2005
5EEYutaka Miyazaki: Some Properties of Orthologics. Studia Logica 80(1): 75-93 (2005)
2004
4EEYutaka Miyazaki: Normal Modal Logics Containing KTB with some Finiteness Conditions. Advances in Modal Logic 2004: 171-190
2002
3 Yutaka Miyazaki: Binary Logics, Orthologics, and their Relations to Normal Modal Logics. Advances in Modal Logic 2002: 313-334
2001
2EEYutaka Miyazaki: Kripke-style Semantics of Orthomodular Logics. Math. Log. Q. 47(3): 341-362 (2001)
1999
1EEYutaka Miyazaki: The Super-Amalgamation Property of the Variety of Ortholattices. Reports on Mathematical Logic 33: 45-63 (1999)

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)