Completeness Proofs for Linear Logic Based on the Proof Search Method(Preliminary Report)(Type Theory and its Applications to Computer Systems)
スポンサーリンク
概要
著者
-
岡田 光弘
慶應義塾大学文学部哲学専攻
-
Okada Mitsuhiro
Department Of Genome Science School Of Dentistry Aichi-gakuin University
-
Okada Mitsuhiro
慶應義塾大学文学部
-
Okada Mitsuhiro
Department Of Philosphy Keio University
-
Okada Mitsuhiro
Department Of Philosophy Keio University
-
Terui Kazushige
Department of Philosophy, Keio University
-
Terui Kazushige
Department Of Philosophy Keio University
-
岡田 光弘
Department of Philosphy, Keio University
-
OKADA Mitsuhiro
Department of Chemical Energy and Environmental Engineering, Kansai University
関連論文
- 現代応用オントロジーの哲学的・論理学的源泉(オントロジーの進化と普及(前編))
- 線形論理に基づく計算モデルの理論概説
- 線形論理に基づいたセキュリティ・プロトコルの論理的検証法(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
- ウィトゲンシュタイン, 言語の限界, 飯田隆著, 講談社, 1997年.
- OE-292 Genetic Risk for Coronary Artery Disease in Low-Risk or High-Risk Subjects Defined by Conventional Risk Factors(Genetics/Genetically Engineered Models 2 (H) : OE36)(Oral Presentation (English))
- BAN論理からProtocol Composition Logicへ : セキュリティプロトコルの論理的検証法(数理的技法による情報セキュリティ)
- The Efficacy of a Strategy Based on Optimal Cutting Balloon Angloplasty with Provisional Stenting in Small Coronary Arteries
- A Randomized Comparison of Gradual and Prolonged Balloon Angioplasty Versus Conventional Balloon and Culling Balloon Angioplasty in Small Coronary Arteries
- 0373 The Effects of OPC-18790 on Left Ventricular Sytolic and Diastolic Functions in patients with Dilated Cardiomyopathy
- Effects of antiarrhythmic agents on left ventricular function during exercise in patients with chronic left ventricular dysfunction
- PJ-570 The Impact of Immediate Elastic Recoil on Late Restenosis After Balloon Angioplasty in Small Coronary Arteries(Restenosis after Angioplasty, Basic/Clinical 7 (IHD) : PJ95)(Poster Session (Japanese))
- OJ-115 The Long-Term Outcomes of Cutting Balloon Angioplasty With Provisional Stenting in Small Coronary Arteries : A Comparison With Primary Stenting(Coronary Revascularization, PICA/Stent/DCA/Rotablator/New Device 2 (IHD) : OJ14)(Oral Presentation (Japa
- Validity and Application of Noninvasive Measurement of Blood Pressure in Hamsters
- OE-259 Myocardial perfusion abnormalities revealed by myocardial contrast echocardiography in patients with hypertrophic cardiomyopathy : relation to left ventricular diastolic function.(Echo/Doppler 12 (I) : OE32)(Oral Presentation (English))
- Progressive Development of Pulmonary Hypertension Leading to Right Ventricular Hypertrophy Assessed by Echocardiography in Rats
- OE-245 Accuracy of 64-Slice Multi-Detector Computed Tomography for Classification and Quantification of Coronary Plaque Components : Comparison with Integrated Backscatter Intravascular Ultrasound(OE42,CT/MRI (Coronary/Vascular) 2 (I),Oral Presentation (E
- PJ-377 Delayed Improvement of the Left Ventricular Dyssynchrony after Cardiac Resynchronization Therapy in Severe Chronic Heart Failure(Heart failure, clinical-10, The 71st Annual Scientific Meeting of the Japanese Circulation Society)
- PJ-085 Bepridil Magnifies Left-to-Right Atrial Frequency Gradient in Chronic Atrial Fibrillation(ECG/Body surface potential mapping/Holter-6, The 71st Annual Scientific Meeting of the Japanese Circulation Society)
- PJ-421 Heart Rate Variability and QT Dynamics in Patients with Brugada Syndrome(PJ071,ECG/Body Surface Potential Mapping/Holter 1 (A),Poster Session (Japanese),The 73rd Annual Scientific Meeting of The Japanese Circulation Society)
- PJ-278 Mapping and Ablation of Ventricular Arrhythmias Originating near the His Bundle Guided by Virtual Electrograms Using a Noncontact Mapping System(PJ047,Arrhythmia, Others (Clinical/Pathophysiology) 3 (A),Poster Session (Japanese),The 73rd Annual Sci
- OJ-053 Electrocardiographic Characteristics of Ventricular Arrhythmias Originating near the His Bundle(OJ09,ECG/Body Surface Potential Mapping/Holter (A),Oral Presentation (Japanese),The 73rd Annual Scientific Meeting of The Japanese Circulation Society)
- OJ-050 Bepridil Enhanced the Transmural Dispersion of Repolarization More Greatly than Amiodarone at Lower Heart Rates(OJ09,ECG/Body Surface Potential Mapping/Holter (A),Oral Presentation (Japanese),The 73rd Annual Scientific Meeting of The Japanese Circu
- OJ-049 Importance of Frequency Analysis of Atrial Electrocardiogram to Detect the Conversion of Persistent Atrial Fibrillation by Bepridil(OJ09,ECG/Body Surface Potential Mapping/Holter (A),Oral Presentation (Japanese),The 73rd Annual Scientific Meeting o
- PJ-589 Relationship between Left Atrium Diameter and Biochemical Serum Markers in Patients with Paroxysmal Atrial Fibrillation(Arrhythmia, diagnosis/Pathophysiology/EPS(10)(A),Poster Session(Japanese),The 72nd Annual Scientific Meeting of the Japanese Cir
- PJ-587 Circulating adiponectin levels in patients with atrial fibrillation(Arrhythmia, diagnosis/Pathophysiology/EPS(10)(A),Poster Session(Japanese),The 72nd Annual Scientific Meeting of the Japanese Circulation Society)
- PJ-486 Bepridil May Intensify the Transmural Dispersion of Repolarization at the Lower Heart Rate(ECG/Body surface potential mapping/Holter(06)(A),Poster Session(Japanese),The 72nd Annual Scientific Meeting of the Japanese Circulation Society)
- Correlation Between the Exercise-Induced Increase in Left Ventricular Filling Pressure and the Extent of Ischemic or Infarcted Myocardium
- OJ-072 Pioglitazone, a peroxisome proliferator-activated receptor-gamma activator, attenuates atrial fibrosis and atrial fibrillation promotion in rabbits with congestive heart failure(Arrythmia, basic(02)(A),Oral Presentation(Japanese),The 72nd Annual Sc
- OE-282 Repolarization Abnormality at Night in Brugada Syndrome by QT-RR Relationship(ECG/Body surface potential mapping/Holter(01)(A),Oral Presentation(English),The 72nd Annual Scientific Meeting of the Japanese Circulation Society)
- A Hierarchy of the Fragments of the System of Inductive Definition : Preliminary Report
- Semantic Characterizations for Reachability and Trace Equivalence in a Linear Logic-Based Process Calculus : Preliminary Report
- A Relationship among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game, and Buchholz's Hydra Game(Preliminary Report)(Mathematical Incompleteness in Arithmetic)
- 論理記号導入規則による論理的意味論について
- DISTRIBUTION OF ABNORMAL Q WAVES ON BODY SURFACE IN RELATION TO LEFT VENTRICULAR WALL MOTION ABNORMALITIES IN MYOCARDIAL INFARCTION : Mapping : 46th Annual Scientific Meeting, Japanese Circulation Society
- CORRELATIVE STUDIES BETWEEN FRANK VECTORCARDIOGRAMS AND THALLIUM-201 MYOCARDIAL PERFUSION IMAGES IN PATIENTS WITH OLD ANTERIOR MYOCARDIAL INFARCTION
- 58(4) 238-247 USE OF A THERMODILUTION RENAL VEIN CATHETER TO MEASURE RENAL BLOOD FLOW IN PATIENTS WITH ESSENTIAL HYPERTENSION
- Application of solvent extraction using synergistic effect to electroless nickel plating waste liquor (第7回資源リサイクル・材料科学に関する日韓国際シンポジウム特集)
- 矛盾は矛盾か (特集 ラッセルのパラドックス・100年)
- 歪んだ真珠(バロック) : 音楽における規則性VS反規則性,またはロゴスVSパトス
- オントロジー応用のための方法論の考察と展望(哲学とAIにおける対象世界モデリング)(〔第4回〕)
- 現代のフォーマルオントロジーの動向とオントロジー工学(「哲学とAIにおける対象世界モデリング」〔第3回〕)
- フッサールのフォーマルオントロジーとその影響(哲学とAIにおける対象世界モデリング〔第2回〕)
- オントロジーの哲学的・論理学的背景
- 「哲学とAIにおける対象世界モデリング」の企画にあたって
- 日本語の文末表現における意味解釈と音響特性
- フッサールの形式論理学分析における「多様体」概念の役割
- Characterization Theorems for Multiplicative Fragment of Intuitionistic Non-Commutative Linear Logic : Preliminary Report
- 3.線形論理に基づく並行計算モデル : 並行計算の論理的理解の試み (並行計算の理論の最近の動向)
- 倫理学入門のためのPersonal Guide
- デカルトにおける「論証」の概念と彼の形而上学的論証の論理的基準(100集記念号)
- A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic(Preliminary Report)(Non-Classical Logics and Their Kripke Semantics)
- 諸状況における終助詞「か」の意味解釈と音響特性
- 論理学入門のためのPersonal Guide
- 「普遍学」の夢と現実 : 論理推論体系の可能性を求めて(文学部創設百周年記念論文集I)
- フッサ-ル初期の「哲学的-数学的諸研究の終結テ-マ」とゲッチンゲン学派の論理哲学
- 論理的意味論と整合性証明
- Age Related Differences in Electroencephalographic and Cardiac Arousal at the Termination of Sleep Apnea/Hypopnea
- EVALUATION OF AN ANTIARRHYTHMIC DRUG'S EFFICACY WITH SINGLE DOSE ORAL ADMINISTRATION : Arrhythmias (IV) : FREE COMMUNICATIONS (VI) : PROCEEDINGS OF THE 49th ANNUAL SCIENTIFIC MEETING OF THE JAPANESE CIRCULATION SOCIETY
- PE-285 Statin Therapy Improves Cardiac Function and Survival after Heart Failure in Rats(Heart Failure, Clinical 10 (M) : PE49)(Poster Session (English))
- Classification Method for Predicting the Development of Myocardial Infarction by Using the Interaction between Genetic and Environmental Factors
- Application of ES Cells to Cardiovascular Regeneration
- Vectorcardiographic Studies on Pressure and Volume Overload of Left Ventricle : Part I
- Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic
- Activation of the Erythropoietin Promoter by a Point Mutation from GATA to TATA in the -30 Region^1
- Completeness Proofs for Linear Logic Based on the Proof Search Method(Preliminary Report)(Type Theory and its Applications to Computer Systems)
- Note on the Strong Normalizability of the Logic with Self-Referential Predicates
- "The Concluding Theme of Philosophical-Mathematical Students" in the Early Husserl, and the Logical Philosophy of Goettingen School
- Clinical Use of Ponstan, N-(2, 3-xylyl)-Anthranilic Acid (CI-473; Mefenamic Acid) as an Analgetic
- Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic