简介：常逻辑公式是不含命题变元的逻辑公式，运用它们可以定义结构类。反过来，某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件是，该框架类对满射互模拟象、不相交并封闭，并且其补类对超滤扩张封闭。有穷传递框架类相对可由常模态公式集定义的充分必要条件是，它对满射互模拟象和不相交并封闭。这两条定理中后一条可推广至直觉主义逻辑。
简介：这篇论文以对福建省兴化地区近期元宵节期间的乡村宗教仪式的描述开始。文章不仅讨论这类仪式活动对大多数宗教定义提出的诘难，而且探讨这种地方仪式传统对仪式理论所包含的意蕴。这些仪式活动的组织者具有高超的领导技巧，他们在制造地方差异性世界的同时吸收外来资本和国家的象征符号。同时，这些村庙网络致力于地方经济，包括改善村公路、电力、灌溉设施、和公共卫生设施；同时也支持地方的文化活动，比如设立奖学金和创办老人活动中心等。
常逻辑公式与可定义性
中国东南地方宗教仪式传统：对宗教定义和仪式理论的挑战
