The following pages link to Mitsuhiro Okada (Q235600):
Displaying 48 items.
- Syntactic reduction in Husserl's early phenomenology of arithmetic (Q516253) (← links)
- A generalized syllogistic inference system based on inclusion and exclusion relations (Q692203) (← links)
- A rationale for conditional equational programming (Q915429) (← links)
- A weak intuitionistic propositional logic with purely constructive implication (Q1102265) (← links)
- Note on a proof of the extended Kirby-Paris theorem on labelled finite trees (Q1110524) (← links)
- A direct independence proof of Buchholz's Hydra Game on finite labeled trees (Q1128173) (← links)
- Abstract data type systems (Q1391729) (← links)
- Phase semantics for light linear logic (Q1398478) (← links)
- A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic (Q1398479) (← links)
- Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic (Q1575865) (← links)
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. (Q1603701) (← links)
- A small remark on Hilbert's finitist view of divisibility and Kanovich-Okada-Scedrov's logical analysis of real-time systems (Q2037979) (← links)
- A diagrammatic inference system with Euler circles (Q2255200) (← links)
- Corrigendum to: ``Inductive-data-type systems'' (Q2309415) (← links)
- (Q2863872) (← links)
- Husserl and Hilbert on Completeness and Husserl's Term Rewrite-based Theory of Multiplicity (Invited Talk) (Q2958371) (← links)
- (Q3044485) (← links)
- Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants (Q3211279) (← links)
- Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic (Q3542785) (← links)
- Remarks on Semantic Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic λ-Calculus (Q3608816) (← links)
- Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols (Q3631369) (← links)
- A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagrams (Q3775552) (← links)
- (Q3786478) (← links)
- On a theory of weak implications (Q3794150) (← links)
- (Q3817653) (← links)
- (Q3819993) (← links)
- (Q3820053) (← links)
- (Q4036585) (← links)
- (Q4222840) (← links)
- (Q4222841) (← links)
- (Q4222893) (← links)
- (Q4252642) (← links)
- (Q4252643) (← links)
- (Q4252650) (← links)
- The finite model property for various fragments of intuitionistic linear logic (Q4262585) (← links)
- (Q4282539) (← links)
- A new correctness criterion for the proof nets of non-commutative multiplicative linear logics (Q4328819) (← links)
- A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game (Q4333476) (← links)
- (Q4418591) (← links)
- (Q4418592) (← links)
- (Q4699356) (← links)
- (Q4703047) (← links)
- (Q4938611) (← links)
- Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability (Q4972166) (← links)
- (Q5018496) (← links)
- Following a Rule: Waismann’s Variation (Q5115871) (← links)
- Semantics for "enough-certainty" and fitting's embedding of classical logic in S4 (Q5278422) (← links)
- Intuitionistic phase semantics is almost classical (Q5466794) (← links)
