机译:混合逻辑与经典逻辑对应的证明理论研究
Department of Philosophy, Keio University, 2-15-45, Mita, Minatoku, Tokyo, Japan;
proof theory; hybrid logic; classical logic;
机译:古典逻辑与模态逻辑对应的证明理论研究
机译:无处不在的混合逻辑的证明理论功能完备性
机译:在古典高阶逻辑中组合和自动化古典和非古典逻辑
机译:古典逻辑内的满意和友好关系:验证理论方法
机译:基于NAF的逻辑语义:校样理论泛化和非地扩展
机译:通过具有分散体的量子系统的集合的相干动态尺寸的巨大平行古典逻辑
机译:模态直觉逻辑和谓语超直觉逻辑:对应理论(非古典逻辑及其Kripke语义的新观点)