H. Ishihara:
A Canonical Model Construction for Substructural Logics
/jucs_6_1/a_canonical_model_construction

page 155 - 168
Vol.6 / Issue 1

V. Brattka, H. Ishihara, M. Schröder, N. Zhong:
Computability and Complexity in Analysis
/jucs_14_6/computability_and_complexity_in

page 800 - 800
Vol.14 / Issue 6

C.S. Calude, H. Ishihara:
Constructivity, Computability, and Logic
A Collection of Papers in Honour of the 60th Birthday of Douglas Bridges
/jucs_11_12/constructivity_computability_and_logic

page 1863 - 1864
Vol.11 / Issue 12

H. Ishihara, B. Khoussainov:
Effectiveness of the Completeness Theorem for an Intermediate Logic
/jucs_3_11/effectiveness_of_the_completeness

page 1255 - 1265
Vol.3 / Issue 11

H. Ishihara:
Sequential Continuity of Linear Mappings in Constructive Mathematics
/jucs_3_11/sequential_continuity_of_linear

page 1250 - 1254
Vol.3 / Issue 11