International Conference on Order, Algebra and Logics

国际秩序、代数和逻辑会议

• 批准号: 0710339
• 负责人: Ralph McKenzie
• 金额: $ 2.45万
• 依托单位: Vanderbilt University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-05-01 至 2008-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0710339&HistoricalAwards=false
• 关键词: International; Conference; Order; Algebra; Logics

This award will partially support the international research conference, entitled ``Order, Algebra and Logics'', to be held at Vanderbilt University during June 12-16, 2007. This conference is unusual both for the broad range of contemporary mathematics it targets and the specific set of subdisciplines it encompasses. It is expected to attract upwards of 150 mathematicians, logicians and computer scientists. Recent years have witnessed increased research activity on the interface between logic and universal algebra. In particular, the use of algebraic methods has proved to be fruitful in the study of non-classical logics - such as modal logic, fuzzy logic, and substructural logics - with ordered structures playing a central role in this relationship. A profound study of the connection between commutator theories and the shapes of congruences lattices of algebras, over any variety, has been completed by K. Kearnes and E. Kiss, and the central open question in the representation theory of lattices, asking whether every algebraic distributive lattice is isomorphic to the congruence lattice of a lattice, has been given a negative solution by F. Wehrung. Methods of universal algebra have generated deep new results on certain decidability questions, and on complexity questions for algorithmic problems in finite algebras. The conference aims to bring together researchers from all these research fields in order to foster collaboration and further research. The featured areas include, but are not limited to, the following (in alphabetical order): - Algebraic logic - Algebraic theory of quasivarieties - Algorithmic problems in algebra - Applications of universal algebra to logics - Binary systems - Complexity and other algorithmic problems - Duality theory for algebraic structures - Finite axiomatizability problems - Modal logics - Non-classical logics - Numerical invariants of locally finite varieties - Ordered algebraic structures - Ordered topological spaces - Representations of lattices - Residuated structures - Substructural logics - Tame congruence theory and applications - Topological methods in algebra and logic The scientific program of the conference will include invited lectures, contributed talks and tutorials. The organizers will make strong efforts to ensure a substantial participation by recent Ph.D. recipients and graduate students, for whom attendance at such a meeting can significantly promote career development and integration into the mathematics community.

该奖项将部分支持将于2007年6月12日至16日在范德比尔特大学举行的题为"秩序、代数和逻辑“的国际研究会议。这次会议是不寻常的范围广泛的当代数学它的目标和具体的一套它所涵盖的子学科。预计将吸引超过150名数学家，逻辑学家和计算机科学家。近年来，逻辑和泛代数之间的接口的研究活动日益增加。特别是，使用代数方法已被证明是富有成效的非经典逻辑的研究-如模态逻辑，模糊逻辑和子结构逻辑-与有序结构发挥了核心作用，在这种关系。对交换子理论和代数的同余格的形状之间的联系的深入研究，在任何种类上，已经完成了K。Kearnes和E. Kiss和格表示论中的一个中心问题，即是否每个代数分配格都同构于格的同余格，已经由F给出了一个负解。威龙泛代数的方法在某些可判定性问题和有限代数中算法问题的复杂性问题上产生了深刻的新结果。该会议旨在将所有这些研究领域的研究人员聚集在一起，以促进合作和进一步研究。特色领域包括但不限于以下内容（按字母顺序排列）：- 代数学逻辑-拟簇的代数学理论-代数中的数学问题-泛代数在逻辑中的应用-二进制系统-复杂性和其他算法问题-代数结构的对偶理论-有限公理化问题-模态逻辑-非经典逻辑-局部有限簇的数值不变量-有序代数结构-有序拓扑空间-格的表示-剩余结构-子结构逻辑-驯服同馀理论和应用-代数和逻辑中的拓扑方法会议的科学计划将包括邀请讲座，贡献讲座和教程。组织者将做出巨大努力，以确保最近的博士大量参与。获奖者和研究生，对他们来说，参加这样的会议可以大大促进职业发展和融入数学界。