Classical Mereology is Axiomatizable Using Primitive Fusion in Two Sorted Logic
本文证明经典部分学可在双排序逻辑中用原始融合概念公理化，扩展了先前对外延部分学的处理，并提供了首个当代公理化方案。
2023-12-24 math.LO
A Characterization Result for Non-Distributive Logics
本文将非分配逻辑归约为多类剩余模态逻辑，通过复用现有结果，成功将模态逻辑的 van Benthem 刻定结果推广至非分配逻辑。
2021-10-14 math.LO
Algebraic semantics for hybrid logics
我们引入混合代数语义的混合语言与名词，可能的话，满意度算子。我们建立了杂交代数与Ten Cate的描述性两类一般框架之间的对偶。我们表明，所有的公理扩展的基本混合逻辑，有或没有满意度算子，是完整的关于他们的类的混合代数。此外，我们表明，通过添加通常的非正统规则，这些逻辑，他们成为完整的渗透混合代数类，对应于强描述性的两个排序的一般框架。
2016-04-23 math.LO
A many-sorted epistemic logic for chromatic hypergraphs
提出一种多类模态逻辑以区分多智能体系统中的智能体与环境，利用着色超图提供语义，并证明其可靠性与完备性。
2023-08-01 cs.LO cs.MA math.LO
Logical tools for handling change in agent-based systems
我们对非经典逻辑的各种结果和问题给出了一个统一的方法
2009-03-21 math.LO
Logicality and Model Classes
我们问，什么时候模型的属性是逻辑属性？根据所谓的塔斯基-谢尔准则，这是当性质被同构保持时的情况。我们将这一点与抽象逻辑的模型理论特征，其中模型类是可定义的。这导致了在萨吉术语中逻辑性的分级概念。我们研究逻辑学的哪些特征，例如Löwenheim-Skolem定理、完备性定理和绝对性的变体，从逻辑性的角度来看是相关的，继续Bonnay、Feferman和Sagi的早期工作。我们认为一个逻辑越接近一阶逻辑，它就越合乎逻辑。我们还提供了一个改进的结果McGee的模型的逻辑属性可以表示在$L_{\infty\infty}$，如果表达式被允许依赖于模型的基数，基于替换$L_{\infty\infty}$的“tamer”逻辑。
2021-07-11 math.LO
Metric logical categories and conceptual completeness for first order continuous logic
我们开始研究连续模型论的范畴逻辑。特别是，我们1。引入度量逻辑范畴和函子的概念作为度量理论和解释的范畴等价物，2。证明了概念完备性的连续形式，表明$T^\eq$是$T$的最大保守扩展; 3.定义度量预拓扑的概念。
2016-07-11 math.LO
Differential and Integral Calculus for Logical Operations. A Matrix-Vector Approach
各种各样的问题出现调查电子电路，计算机设备和细胞自动机动机了一些尝试，以创建一个微分和积分学布尔函数。在本文中，我们扩展了这种演算，以包括经典的逻辑运算的语义。我们表明，这种扩展到逻辑是非常有帮助的，如果我们把基本的逻辑演算的矩阵向量形式主义，自然包括一种模糊逻辑。这样，在矩阵代数定律的指导下，我们可以构造逻辑函数的导数和积分的紧致表示。在这个语义代数演算中，我们得到了一些基本逻辑运算的导数的表达式，并给出了得到命题演算的任何合式公式的导数的一般方法。我们发现，一些基本重言式（排除中间，肯定前件，假言三段论）的成员是一种层次系统的区别算法。此外，使用的逻辑衍生物，我们表明，相对复杂的公式可以崩溃在简单的表达式，清楚地揭示其隐藏的逻辑意义。寻找反导数自然产生一个积分学。在这个逻辑形式体系中，对于任何逻辑表达式，总是可以找到一个不定积分。此外，特定的积分可以构造基于分离属性，导致逻辑表达式的日益复杂。我们发现，这些特殊的积分有一些相似之处，与Lukasiewicz调查的“广义演绎”程序。
2016-08-16 math.LO
Some reflections on the relationship between logical incompleteness and concrete incompleteness
本文从概念层面考察逻辑不完备性与具体不完备性的关系，提出二者相似性非普遍、差异具本质性，且具体不完备性是高阶现象的论点，从多维度分析二者异同并印证希尔伯特证明理论的价值。
2025-06-16 math.LO
Putting the Agents back in the Domain: A Two-Sorted Term-Modal Logic
在本文件中，语法和语义将普通的n-代理QML与常数域，非刚性常数，刚性变量，包括两个功能，关系和平等的扩展。此外，代理的数量将被指定公理，从而确保最大的灵活性wrt。代理集合的基数。域，变量和常量将被划分为代理部分和对象部分，语法将被扩展为包括其中模态运算符的索引被量化为语言的wff的字符串。这将增强关于代理人的认知状态的表达能力。这样一个术语模态版本的逻辑K被证明是健全的和完整的WRT。类（适当的）帧，和一个术语版本的S4被证明是健全的和完整的wrt。（适当的）框架类，其中的关系是传递的。应该注意的是，完备性是通过规范模型的框架来展示的，因此允许对K和S4的术语版本之外的其他逻辑进行不复杂的推广。
2018-11-05 cs.LO cs.MA math.LO
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
本文为Wansing双直觉主义逻辑2Int构建双类类型化λ演算λ-2Int，建立带项标注的证明系统并证明对偶化定理，从而从双边主义视角探讨证明的意义、指称与同一性问题。
2024-02-23 cs.LO math.LO
Logical Varieties in Normative Reasoning
虽然基于逻辑演算的传统逻辑系统已经成功地应用于数学和其他领域，但它们在许多情况下都有一定的局限性，限制了它们的应用。例如，任何逻辑演算的主要条件是它的一致性。与此同时，关于大对象域的知识（在科学或实践中）本质上是不一致的。引入逻辑前变种和变种是为了以逻辑正确的方式消除这些限制。本文描述了合理推理逻辑。这种逻辑已经成功地应用于模型的法律推理与不一致的知识。论证了这种逻辑是一种逻辑变体，并发展了与法律推理有关的逻辑变体的性质。
2011-04-08 cs.LO math.LO
Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
University of Thessaly（色萨利大学）
本文提出无分布模态逻辑中Sahlqvist—Van Benthem对应关系的扩展，通过还原主义策略和格扩展与框架的对偶性实现可扩展的对应关系方法。
2025-03-16 cs.LO math.LO
Algebraic logic and logical geometry in arbitrary varieties of algebras
论文由两部分组成。第一部分是专门为通用代数几何逻辑。第二部分讨论了问题和一些结果。它可以被视为一个简短的阐述一些想法，从书中的进展：B.普洛特金，E.阿拉多瓦，E.普洛特金，“代数逻辑和逻辑几何在任意品种的代数”
2012-06-01 math.GR math.LO
Dynamical properties of logical substitutions
本文是关于命题多值逻辑中置换的动力学性质的一个临时性文章。我们确定了自由代数的自同态置换，并研究了它们在对偶谱空间上的作用。
2004-11-23 math.DS math.LO
Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
University of Luxembourg（卢森堡大学）
本文基于LogiKEy逻辑多元知识表示与推理方法论，主张在统一元逻辑框架内支持对象逻辑层面的逻辑多元主义，并警告逻辑帝国主义对跨学科复用的阻碍。
2026-05-26 cs.AI cs.LO math.LO
Basic Logic and Quantum Computing: Logical Judgements by an Insider Observer
我们考虑一个假设的观察者在量子计算机内部的逻辑断言，并执行可逆的量子测量，获得一对对称的新公理，仅在量子计算机内部有效。结果是，在这个逻辑框架中，对称性和次协调性成立。
2004-07-07 math-ph math.LO math.MP
Logical aspects of quantum structures
我们调查几个问题有关的逻辑方面的量子结构。特别是，我们认为有关的问题完成，可判定性和公理化，嵌入问题。本报告介绍了历史发展情况，以及最近的进展和一些建议的前进道路。
2021-08-22 math.LO math.OA quant-ph
