Nondeterministic Linear Logic
スポンサーリンク
概要
- 論文の詳細を見る
In this paper, we introduce Linear Logic with a nondeterministic facility, which has a self-dual additive connective. In the system proof net technology is available in a natural way. The important point is that non-determinism in the system is expressed by the process of normalization, not by proof search. Moreover we can incorporate the system into Light Linear Logic and Elementary Linear Logic developed by J.-Y.Girard recently : Non-deterministic Light Linear Logic and Nondeterministic Elementary Linear Logic are defined in a very natural way.
- 一般社団法人情報処理学会の論文
- 1997-03-28
著者
-
Matsuoka Satoshi
Department Of Biochemistry And Molecular Biology Graduate School Of Science And Engineering Saitama
-
Matsuoka Satoshi
Department Of Electrical And Computer Engineering Faculty Of Engineering Nagoya Institute Of Technol
関連論文
- Ionic Mechanisms Underlying the Positive Chronotropy Induced by β1-Adrenergic Stimulation in Guinea Pig Sinoatrial Node Cells : a Simulation Study
- A Simulation Study to Rescue the Na^+/Ca^ Exchanger Knockout Mice
- An In Silico Study of Energy Metabolism in Cardiac Excitation-Contraction Coupling
- Forefront of Na^+/Ca^ Exchanger Studies : Regulation Kinetics of Na^+/Ca^ Exchangers
- FRS-031 Additional Gene Modifiers Reduce Effectiveness of β-blockers in the Long QT Type 1 Syndrome(Arrhythmia-Basic : Molecular and Genetic : Basis (A) : FRS4)(Featured Research Session (English))
- Role of Individual Ionic Current Systems in the SA Node Hypothesized by a Model Study
- Role of Individual Ionic Current Systems in Ventricular Cells Hypothesized by a Model Study
- ECG Findings in Andersen's Syndrome : Action Potential Simulation Study
- Nonuniformity of Sarcomere Shortenings in the Isolated Rat Ventricular Myocyte
- Inhibition of Inward Rectifier K^+ Currents by Angiotensin II in Rat Atrial Myocytes : Lack of Effects in Cells from Spontaneously Hypertensive Rats
- Controlled Release of Matrix Metalloproteinase-1 Plasmid DNA Prevents Left Ventricular Remodeling in Chronic Myocardial Infarction of Rats
- Implementing MPI in a High-Performance, Multithreaded Language MPC++
- 4 Control-release of MMP-1 Plasmid DNA Improved Contractility and Altered Na/Ca Exchange of Cardiomyocytes Isolated from Rat Chronic Myocardial Infarction Heart(The 71st Annual Scientific Meeting of the Japanese Circulation Society)
- PE-577 Reevaluation of β-adrenergic Regulation of Na^+-Ca^ Exchange in Mammalian Ventricular Myocytes(Excitation-contraction coupling/Ion channel-1 (A) PE100,Poster Session (English),The 70th Anniversary Annual Scientific Meeting of the Japanese Circu
- Increased O_2 consumption in excitation-contraction coupling in hypertrophied rat heart slices related to increased Na^+-Ca^ exchange activity
- PJ-179 Regulation of Mitochondria Function during Changing Cardiac Work Intensity in Single Guinea-pig Ventricular Myocytes(Excitation-contraction coupling/Ion channel-2 (A) PJ30,Poster Session (Japanese),The 70th Anniversary Annual Scientific Meeting of
- Identification of the nonA and nonB loci of Bacillus subtilis Marburg permitting the growth of SP10 phage
- Nondeterministic Linear Logic
- Involvement of PlsX and the acyl-phosphate dependent sn-glycerol-3-phosphate acyltransferase PlsY in the initial stage of glycerolipid synthesis in Bacillus subtilis
- Towards a Higher Order Unification Based on Proof Nets(Type Theory and its Applications to Computer Systems)
- Characterization of the Nuclear- and Plastid-Encoded secA-Homologous Genes in the Unicellular Red Alga Cyanidioschyzon merolae
- The Bacillus subtilis essential gene dgkB is dispensable in mutants with defective lipoteichoic acid synthesis
- Abnormal morphology of Bacillus subtilis ugtP mutant cells lacking glucolipids
- Expression and Localization of Two SecA Homologs in the Unicellular Red Alga Cyanidioschyzon merolae
- Self-Assembled Monolayers Directly Attached to Silicon Substrates Formed from 1-Hexadecene by Thermal, Ultraviolet, and Visible Light Activation Methods