云南高校图书馆联盟文献共享服务平台- AXIOMATIZATION

AXIOMATIZATION: 作品数：13被引量：4H指数：1; 导出分析报告; 相关领域：自动化与计算机技术理学更多>>; 相关期刊：《Communications in Theoretical Physics》《Frontiers of Computer Science》《Acta Mathematicae Applicatae Sinica》《Chinese Annals of Mathematics,Series B》更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划国家教育部博士点基金国家社会科学基金更多>>

An Attempt at Axiomatization of Extending Mechanism of Solutions to the Fluid Dynamical Systems: 《Chinese Annals of Mathematics,Series B》2024年第6期957-970,共14页Jinkai LI Meng WANG Wendong WANG; supported by the National Natural Science Foundation of China(Nos.12371204,12371100,12071054);the Key Project of National Natural Science Foundation of China(No.12131010);the National Support Program for Young Top-Notch Talents and Dalian High-level Talent Innovation Project(No.2020RD09).; Note that some classic fluid dynamical systems such as the Navier-Stokes equations, Magnetohydrodynamics (MHD for short), Boussinesq equations and etc., are observably different from each other but obey some energy in...; 关键词：Interpolation inequalities of Besov type Blow-up criteria Navier-Stokes equations

The Historical Logic on the Basic Theory of Physics—A Summary on the Cosmic Continuum Theory: 《Journal of Applied Mathematics and Physics》2023年第3期823-840,共18页Xijia Wang; Any scientific system has a unified basic theory. But physics has no unified basic theory in the modern sense. Classical mechanics, relativity and quantum mechanics have their own basic concepts, categories and princi...; 关键词：Cosmic Continuum Axiomatization of Physics Foundation of Physics Hilbert’s Problems Scientific Paradigm

The General Compromise Value for Cooperative Games With Transferable Utility: 《Journal of Systems Science & Complexity》2023年第1期375-392,共18页SUN Panfei HOU Dongshuang SUN Hao; supported by the National Natural Science Foundation of China under Grant Nos.72001172,71871180 and 72071158;the Fundamental Research Funds for the Central Universities under Grant No.310201911qd052;Natural Science Basic Research Plan in Shaanxi Province of China under Grant No.2020JQ-225.; The authors introduce the general compromise value for cooperative games with transferable utility.With respect to a set of potential payoffs of which the maximal and minimal potential payoff vectors are regarded as t...; 关键词：AXIOMATIZATION compromise value cooperative game solution concept

Axiomatization of Special Relativity in First Order Logic: 《Communications in Theoretical Physics》2016年第7期19-28,共10页罗懿晨陈磊何宛亭马永革张昕禹; Supported by the National Science Foundation of China under Grant Nos.11235003 and 11475023;National Social Sciences Foundation of China under Grant No.14BZX078;the Research Fund for the Doctoral Program of Higher Education of China;the Undergraduate Training Program of Beijing; The axiomatization of physical theories is a fundamental issue of science. The first-order axiomatic system SpecR el for special relativity proposed recently by Andr′eka et al. is not enough to explain all the main r...; 关键词：special relativity first-order logic axiomatization

A first-order coalition logic for BDI-agents: 《Frontiers of Computer Science》2016年第2期233-245,共13页Qingliang CHEN Kaile SU Abdul SATTAR Xiangyu LUO Aixiang CHEN; Coalition logic （CL） enables us to model the strategic abilities and specify what a group of agents can achieve whatever the other agents do. However, some rational mental attitudes of the agents are beyond the scop...; 关键词：coalition logic BDI logic complete axiomatization computational complexity

Complete Proof Systems for Amortised Probabilistic Bisimulations被引量：1: 《Journal of Computer Science & Technology》2016年第2期300-316,共17页Li-Li Xu Hui-Min Lin; This work was supported by the National Natural Science Foundation of China under Grant No. 60833001.; The notion of amortisation has been integrated in quantitative bisimulations to make long-term behavioral comparisons between nondeterministic systems. In this paper, we present sound and complete proof systems for am...; 关键词：AXIOMATIZATION probabilistic calculus for communication systems （CCS） probabilistic automata amortisedbisimulation

A complete coalition logic of temporal knowledge for multi-agent systems被引量：3: 《Frontiers of Computer Science》2015年第1期75-86,共12页Qingliang CHEN Kaile SU Yong HU Guiwu HU; This work was supported by National Basic Research Program of China （973 Program）（2010CB328103）; the National Natural Science Foundation of China （Grant Nos. 61272415, 61003056, 71271061 and 61370177）; ARC Future Fellowship （FT0991785） and Business Intelligence Key Team of Guangdong University of Foreign Studies （TD 1202）.; Coalition logic （CL） is one of the most influential logical formalisms for strategic abilities of multi-agent systems. CL can specify what a group of agents can achieve through choices of their actions, denoted by ...; 关键词：coalition logic temporal logic of knowledge complete axiomatization multi-agent systems

An Axiomatization of Probabilistic Owen Value for Games with Coalition Structure: 《Acta Mathematicae Applicatae Sinica》2014年第3期571-582,共12页Hong-xia SUN Qiang ZHANG; Supported by the National Natural Science Foundation of China(No.70771010,71071018);Innovation Ability Promotion of Beijing Municipal Commission of Education(TJSHS201310011004); In the framework of games with coalition structure, we introduce probabilistic Owen value which is an extension of the Owen value and probabilistic Shapley value by considering the situation that not all priori unions...; 关键词：game theory Coalition structure Owen value MATROIDS

Finite Axiomatization for Symbolic Probabilistic π-Calculus: 《Journal of Shanghai Jiaotong university(Science)》2009年第5期536-541,共6页宋磊邓玉欣; the National Basic Research Program (973) of China (No.2003CB317005);the National Nature Science Foundation of China (Nos.60573002 and 60703033); This paper focuses on the problem of seeking complete axiomatization for finite processes in the process calculus called symbolic probabilistic π-calculus introduced by Wu,Palamidessi and Lin.We provide inference sys...; 关键词：probabilistic process calculus AXIOMATIZATION symbolic bisimulation

Axiomatization for 1-level universal AND operator: 《The Journal of China Universities of Posts and Telecommunications》2008年第2期125-129,共5页MA Ying-cang HE Hua-can; the Special Foundation of Education Department of Shanxi Province (07JK255);Basic Scientific Research Foundation of Northwestern Polytechnical University (W018101); The aim of this article is the partial axiomatization for 1-level universal logic. A propositional calculus formal deductive system ULh∈（0,1） based on l-level universal AND operator of universal logic is algebra L...; 关键词：universal logic propositional calculus formaldeductive system universal AND operator

AXIOMATIZATION