Propositional Logics of Dependence
本文在命题层次上研究依赖逻辑。我们证明了几个有趣的命题依赖逻辑，包括命题依赖逻辑，命题直觉依赖逻辑以及命题查询逻辑，是表达完备的，并且具有析取或合取范式.我们提供了演绎系统，并证明了这些逻辑的完备性定理。
2016-03-07 cs.LO math.LO
Modular many-valued semantics for combined logics
本文利用部分非确定性矩阵上的通用运算，为组合逻辑构建可直接复用各成分逻辑多值语义的模块化语义，并分析有限值性、公理化、片段演算组合与可判定性保持条件。
2023-04-27 cs.LO math.LO
Axiomatizing Propositional Dependence Logics
通过扩展已有的命题逻辑和模态逻辑的公理化，给出了命题依赖逻辑（PD）、模态依赖逻辑（MDL）和扩展模态依赖逻辑（EMDL）的完备的希尔伯特式公理化.此外，我们给新的标记tableau演算PD，MDL，和EMDL。我们证明了每一个标记的结石的合理性，完整性和终止。
2014-10-19 cs.LO math.LO
Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
本文为一阶Priest的da Costa逻辑的三值扩展提供了粗糙集语义，该语义遵循一阶经典逻辑的通常模式。
2025-08-14 cs.LO math.LO
First-order swap structures semantics for some Logics of Formal Inconsistency
形式不一致逻辑（LFI）是次协调逻辑（即包含矛盾但非平凡理论的逻辑），具有一致性连接符，允许以受控的方式恢复ex falso quodlibet原则。本文的目的是考虑一种新的语义方法，一阶线性模糊集的基础上塔斯基结构定义在交换结构，一类特殊的多代数。拟议的语义框架概括了以前的aproaches量化的LFI在文献中提出的。QmbC的情况下，更简单的量化LFI扩展经典逻辑，将进行详细分析。本文还研究了QmbC的一个公理化扩展QLFI10，它等价于da Costa和D'Ottaviano三值逻辑J3的量化形式.这种逻辑的语义结构是基于扭曲结构的塔肯结构。还考虑了QmbC和QLFI1o使用标准相等谓词的扩展。
2019-12-21 cs.LO math.LO
Expressing Second-order Sentences in Intuitionistic Dependence Logic
直觉依赖逻辑由Abramsky和Vaananen（2009）引入，作为Hodges（trump）团队语义的一般结构下的依赖逻辑的变体。证明了从直觉依赖逻辑句子到二阶逻辑句子的转换。本文证明了另一个方向也成立，从而直觉依赖逻辑在句子层次上等价于二阶逻辑。
2013-02-09 cs.LO math.LO
Dialetheism, Game Theoretic Semantics, and Paraconsistent Team Semantics
我们介绍了一个变体的依赖逻辑中的真理定义不存在的获胜策略的支持者（Eloise）在语义游戏中，但在缺乏获胜策略的对手（Abelard）。我们证明了这种语言是一阶逻辑的保守但次协调的扩展，它的有效性问题可以归结为一阶逻辑的有效性问题，它能够表达自己的真值和有效性谓词，并且它在表达上等价于通用二阶逻辑。此外，我们证明了一个次协调的非依赖逻辑公式是一致的当且仅当它是等价于一些一阶逻辑句子;另一方面，我们表明，所有的次协调依赖逻辑句子等价于一些一阶句子就真（但不一定就假）。
2014-03-14 cs.LO math.LO
A Simple Logic of Functional Dependence
本文提出了一个简单的可判定逻辑的功能依赖LFD，在经典命题逻辑的依赖原子和依赖量词作为模态处理的基础上，一阶逻辑的广义赋值语义的设置。探讨了LFD的表达强度、完备证明演算和元性质。各种语言扩展，以及，不可判定模态风格的独立性和动态逻辑的变化依赖模型。最后，更具体的设置相关性进行了讨论：连续依赖的拓扑模型，线性依赖的向量空间，时间依赖的动力系统和游戏。
2021-03-27 cs.LO math.LO
On semantics of first-order justification logic with binding modalities
Steklov Mathematical Institute of Russian Academy of Sciences（俄罗斯科学院斯捷克洛夫数学研究所）
本文提出一种结合证明术语和绑定模态的第一次序逻辑证明系统，并建立了其相对于Kripke式语义的正确性和完备性。
2025-12-08 cs.LO math.LO
From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
本文针对直觉主义命题逻辑，论证其基扩展语义涵盖了一种基于消去规则的证明论有效性版本的陈述内容，既阐释了基扩展语义的运作原理，也证明了该版本证明论有效性的完备性。
2024-09-12 cs.LO math.LO
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics
本文研究了命题直觉主义逻辑、一阶非常数论域直觉主义逻辑和一阶常数论域直觉主义逻辑的标号演算和套演算之间的关系。它示出，拟合的嵌套结石自然产生于其相应的标记结石-为上述每一个逻辑-通过消除标记派生的结构规则。这两种类型的系统之间的平移对应关系被用来表明嵌套演算从其相关的标记演算中继承了证明理论属性，例如规则的完整性，可逆性和切割容许性。由于标记的演算很容易通过逻辑的语义，本文提出的方法可以被看作是一个，从而细化版本的标记演算（包含嵌套的演算片段）具有良好的性能直接从逻辑的语义。
2021-04-19 cs.LO math.LO
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
本文首次探索子结构逻辑的证明论语义，提出直觉主义乘法线性逻辑（IMLL）的基础扩展语义，其中逻辑常量定义均采用消去规则形式，并证明了其可靠性与完备性。
2024-11-12 cs.LO math.LO
Base-extension Semantics for Intuitionistic Modal Logics
本文为Simpson直觉主义模态逻辑建立基扩展语义，并证明其相对自然演绎系统的可靠性与完备性。
2025-07-09 cs.LO math.LO
Intuitionistic First-Order Logic: Categorical Semantics via the Curry-Howard Isomorphism
本文在范畴论的框架内，通过对基于Curry-Howard同构的一阶直觉主义逻辑的计算解释，提出了一种新的可靠而完备的语义.此外，一个健全的和完整的语义相应的Alzoda-calculus的派生，太。这种语义学在某种程度上扩展了由Heyting范畴、拓扑理论解释和Kripke模型给出的更传统的意义。证明引入这种新颖语义的特征是它是“无点”的事实，即，没有一个宇宙的元素被用来解释逻辑术语。换句话说，术语并不表示某些集合的个体，而是表示将语句的解释保持在一起的“胶水”，类似于形式拓扑中发生的情况。由于所提出的语义学可以平凡地扩展到所有基于直觉主义系统的一阶逻辑理论（并且，稍微注意一下，也可以扩展到最小系统），所以语义学也涵盖了所有的谓词理论，即使这些理论的一些特殊方面应该被注意到。
2013-06-29 cs.LO math.LO
A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
University College London（伦敦大学学院）
本文提出通过基础扩展语义（BeS）和基础支持的概念，从证明论角度研究经典线性逻辑的乘法-加法片段（MALL）语义学。
2026-02-27 cs.LO math.LO
Axiomatic systems and topological semantics for intuitionistic temporal logic
我们提出了四个公理系统的直觉线性时态逻辑，并表明，这些系统是健全的一类结构的基础上Kripke框架或动态拓扑系统。我们的拓扑语义的特点是一个新的解释的“从今以后”的模态，是一个自然的直觉的变体的经典。利用可靠性结果，我们证明了由公理系统得到的四种逻辑是不同的。最后，我们表明，当语言被限制到'henceforth'-免费的片段，一组有效的公式的关系和拓扑语义相吻合。
2018-03-13 cs.LO math.LO
Axiomatizing first order consequences in dependence logic
在[8]中引入的依赖逻辑不能被公理化。然而，依赖逻辑句子的一阶结果是可以公理化的，这就是本文要做的。我们给出了一个明确的公理化，并证明了相应的完备性定理。
2012-08-01 cs.LO math.LO
Neighbourhood semantics for graded modal logic
引入了一类将Kripke框架嵌入邻域框架的分次模态逻辑的邻域框架。这类邻域框架是一阶可定义的，但不是模态可定义的。通过修正单调互模拟的定义，得到了Kripke框架上的分次互模拟的一个新定义。
2021-05-19 cs.LO math.LO
A semantic account of strong normalization in Linear Logic
我们证明了给定线性逻辑的两个割自由网，借助于它们的关系解释，我们可以：1）首先确定割自由网是否是强可正规化的; 2）如果是强可正规化的，则计算从该网出发的约简序列的最大长度。
2014-08-26 cs.LO math.LO
Proof-theoretic Semantics for First-order Logic
本文为一阶经典逻辑的证明论语义提供了一种初等、构造性且原生的完备性证明，并同时给出一阶直觉主义逻辑的可靠性与完备性证明。
2025-07-17 cs.LO math.LO
A General (Uniform) Relational Semantics for Sentential Logics
University of Thessaly（色萨利大学）
本文提出了一种通用的关系语义学框架，通过公理化和结构的调整，为经典和非经典逻辑提供统一语义，并利用广义Sahlqvist-van Benthem算法进行对应结果计算。
2025-11-23 cs.LO math.LO
Definite Formulae, Negation-as-Failure, and the Base-extension Semantics of Intuitionistic Propositional Logic
证明理论语义学（Proof-theoretical Semantics，P-tS）是一种语义学范式，其中逻辑中的意义基于证明（而不是真理）。直觉命题逻辑（IPL）的P-tS的一个特殊实例是它的基扩展语义（B-eS）。这种语义由一个称为支持的关系给出，解释逻辑常数的含义，它由称为基础的规则系统参数化，提供原子命题的语义。在本文中，我们解释的基础上收集的明确的公式，并使用统一的证明搜索-逻辑编程（LP）的证明理论的基础-提供后者的操作视图-建立完整的IPL的B-eS。这种观点允许否定，P-tS中的一个微妙的问题，被理解为在LP中的否定失败协议。具体地说，虽然对命题的否定在传统上被理解为对命题否定的断言，但在B-eS中，我们可以将对命题的否定理解为未能找到对命题的证明，这样，断言和否定都是P-tS中的基本概念。
2023-03-28 cs.LO math.LO
The Expressive Power of Modal Dependence Logic
我们研究了各种模态逻辑与团队语义的表达能力。我们表明，正是向下封闭和封闭下的团队k-互模拟的团队的属性，对于一些有限的k，是可定义的模态逻辑扩展与直觉析取。此外，我们还证明了直觉析取模态逻辑和扩展模态依赖逻辑的表达能力是一致的。最后，我们建立任何翻译从扩展模态依赖逻辑到模态逻辑与直觉析取增加一些公式的大小呈指数级。
2014-06-24 cs.LO math.LO
Algebraic semantics for one-variable lattice-valued logics
任何一阶逻辑的单变量片段都可以被认为是模态逻辑，其中全称量词和存在量词分别被盒模态和菱形模态所取代。在一些情况下，这些逻辑的代数语义的公理化已经得到：最值得注意的是，分别为一阶经典逻辑和直觉主义逻辑的单变量片段的模态对应物S5和MIPC。然而，在一阶中间逻辑的设置之外，缺乏一种通用的方法。本文提供了这样一种方法的基础上设置的一阶格值逻辑，其中公式解释的代数结构与格约简。特别是，公理化得到的模态对应的一个广泛的家庭这些逻辑的一个变量片段通过推广的功能表示定理Bezhanishvili和哈丁一元Heyting代数。一个替代的证明理论的证明也提供了一个变量片段的一阶子结构逻辑，有一个切自由的插值演算，并承认一定的有界插值性质。
2022-09-18 cs.LO math.LO
Translating Labels to Hypersequents for Intermediate Logics with Geometric Kripke Semantics
我们给出了一个将几何Kripke框架公理转化为Int^*/Geo中相应的中间逻辑的结构超代数规则的过程，这些中间逻辑允许弱化、收缩，在某些情况下还允许切割。我们给出了一个过程，翻译相应的逻辑标记序列的超序列，共享相同的线性模型（对应于哥德尔-达米特逻辑）。我们证明了标记证明Int^*/Geo可以被转换成hyperereremantic证明，可以使用线性规则，这对应于著名的哥德尔-达米特逻辑的通信规则。
2013-10-28 cs.LO math.LO
Relational Semantics for Flat Heyting-Lewis Logic
University of Bern（伯尔尼大学）；University of Naples Federico II（那不勒斯费德里科二世大学）
本文提出平面海廷-刘易斯逻辑$\mathsf{HLC}^{\flat}$的关系语义学，证明其完备性和有限模型性质，并探讨其扩展形式。
2026-07-01 cs.LO math.LO
The Logic of Approximate Dependence
我们扩展处理的函数相关，依赖逻辑的基本概念，包括依赖的可能性与有限数量的例外。我们称之为近似依赖。本文的主要结果是近似依赖原子的完备性定理。我们指出了一些有问题的特点，这表明我们应该考虑多个团队，而不仅仅是团队。
2014-08-19 cs.LO math.LO
Semântica relacional para a lógica proposicional do plausível
本文旨在为一种模态逻辑，即似是而非的命题逻辑，提出一种邻域语义。作为一种次正规特征模态逻辑，not是一种Kripke语义.然而，作者证明了这种邻域语义，达到了一种关系语义对于命题逻辑的似是而非。
2016-03-22 math.LO
Decidability of predicate logics with team semantics
我们研究了基于团队语义的谓词逻辑的复杂性。证明了二元独立逻辑和二元包含逻辑的可满足性问题都是NEXPTIME-完全的。此外，我们表明，两个变量的依赖逻辑的有效性问题是不可判定的，从而解决了一个开放的问题，从团队语义文献。我们还简要地分析了依赖逻辑的Bernays-Schönfinkel-Ramsey前缀类的复杂性。
2016-06-18 cs.CC cs.LO math.LO
Finite semantics for fragments of intuitionistic logic
1932年，哥德尔证明了直觉主义逻辑不存在有限语义。我们考虑直觉主义逻辑的所有片段，并在每种情况下检查是否存在有限语义。我们可以实现一个说教的目标，因为几乎没有逻辑和代数的先决条件。
2019-03-11 math.LO
Propositional Mixed Logic: Its Syntax and Semantics
在本文中，我们提出了一个命题逻辑（称为混合逻辑）包含不相交的副本的最小，直觉和经典逻辑。我们证明了这个逻辑的Kripke语义的完备性定理。建立了混合逻辑与极小逻辑、直觉逻辑和经典逻辑之间的关系。最后，我们提出了这个逻辑的微积分版本。
2009-05-04 math.LO
Intermediate logics in the setting of team semantics
最近几位作者定义了基于团队语义的直觉主义逻辑（tIPC）。在本文中，我们提供了两种替代方法，中间逻辑的团队语义设置。我们通过修改tIPC与公理写两个不同版本的析取逻辑，一个本地和全球之一。在第一种方法中，我们证明了一个特征定理，在第二种方法中，我们引入了一个广义的团队语义。
2022-09-20 math.LO
ΣΠ-polycategories, additive linear logic, and process semantics
我们提出了一个过程语义的纯添加剂片段的线性逻辑，其中公式表示协议和（等价类）证明表示多通道并发过程。由该过程语义引起的多范畴模型被证明是等价于基于语法的自由多范畴（即，它是完整且忠实完整的）。这建立了线性逻辑的附加片段提供了并发进程的语义。这种语义的另一个性质是它给出了加法线性逻辑中证明的规范表示。此arXived版本省略了第1.7.1节：“多类别电路图”，因为Xy-pic图由于内存不足而无法编译。有关完整版本，请参阅“http://www.cpsc.ucalgary.ca/~pastroc/“。
2004-04-06 cs.LO math.CT math.LO
Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information
通过在一阶逻辑的语言中加入对应于包含依赖和排除依赖的原子公式，引入了一些新的不完全信息逻辑。然后研究了这些逻辑的性质及其与其他不完全信息逻辑的关系。此外，这些逻辑的博弈论语义的发展。作为这些结果的推论，我们描述了独立逻辑的表达能力，从而回答了（Grädel和Väänänen，2010）中提出的一个开放问题。
2011-06-11 math.LO
Complexity of Propositional Logics in Team Semantics
我们分类的可满足性，有效性和模型检测问题的命题独立性，包含性和团队逻辑的计算复杂性。我们的主要结果表明，命题组逻辑的可满足性和有效性问题是完全的交替指数时间与多项式多交替。
2017-01-05 cs.CC cs.LO math.LO
Topological semantics of conservativity and interpretability logics
我们引入并发展了保守性逻辑和可解释性逻辑的拓扑语义。通过将Shehtman的超丛构造方法推广到我们的框架中，证明了保守性逻辑$\mathbf{CL}$的一致正规扩张的拓扑紧性定理.因此，我们证明了$\mathbf{CL}$的几个扩展，如$\mathbf{IL}$，$\mathbf{ILM}$，$\mathbf{ILP}$和$\mathbf{ILW}$是强完备的关于我们的拓扑语义。
2021-09-13 math.LO
Truth and Preferences -- A Game Approach for Qualitative Choice Logic
TU Wien（维也纳工业大学）；Institute of Logic and Computation（逻辑与计算研究所）
在本文中，我们介绍了博弈论语义（GTS）的定性选择逻辑（QCL），为了表达偏好，扩展了经典的命题逻辑与一个额外的连接称为有序析取。首先，我们证明了游戏语义可以捕获现有的程度为基础的语义QCL在一个自然的方式。其次，我们表明，游戏语义可以利用QCL的语言派生新的语义。特别是，我们提出了一个新的语义，利用GTS否定，并通过这样做，避免在现有的QCL语义否定的问题。
2022-09-27 cs.AI cs.LO math.LO
Non normal logics: semantic analysis and proof theory
本文介绍了基本单调模态逻辑、条件逻辑CK及其公理化扩展的真显示演算。这些结石是健全的，完整的，保守的，并享有削减消除和子公式的财产。我们的建议适用于多类型的方法在显示演算的设计，从语义分析的基础上从单调模态逻辑到正常的双模态逻辑的翻译。
2019-03-12 math.LO
Closure Semantics for Weak Modal Logics: Completeness and Representations
本文为弱模态逻辑引入闭包语义，证明其可靠性与强完备性，并给出与邻域、FMT及克里普克语义间的保真翻译。
2026-10-14 math.LO
Arboles de Forzamiento Semántico para la Logica de Predicados
本文提出语义强制树作为一阶谓词逻辑的视觉推理工具，其有效性与赋值语义一致，无效公式可由叶标记构造反驳模型。
2024-08-21 math.LO
Non-distributive logics: from semantics to meaning
我们讨论了一个正在进行的研究线的关系（非拓扑）语义的非分配逻辑。我们考虑的发展在技术上植根于对偶表征结果和统一对应理论的见解。然而，他们也有更广泛的，非分配逻辑，我们探讨的直观意义的概念分支。
2021-07-04 math.LO
Dynamic Logics of Imperfect Information: from Teams and Games to Transitions
我们介绍了一个新的语义形式主义的逻辑不完全信息，基于博弈逻辑（特别是在范Bentham，Ghosh和陆的并发动态博弈逻辑）。这种新的语义相结合的方面，从博弈论语义和团队语义，并演示了如何逻辑的不完美信息可以被视为语言的推理游戏。最后，我们表明，我们的语言的一个非常有表现力的片段，一个更简单的语义。
2016-12-31 math.LO
Game-Theoretic Semantics for Alternating-Time Temporal Logic
我们介绍了交替时间时态逻辑（ATL）的博弈论语义（GTS）的版本。在GTS中，真理被定义为在语义评估博弈中获胜策略的存在，因此博弈论的视角出现在ATL的框架中的两个语义层面上：在策略算子的标准语义中的对象层面上，以及在元层面上，博弈论的逻辑语义被应用于ATL。我们统一这两个角度到专门为ATL设计的语义评估游戏。博弈论的角度，使我们能够确定新的变体的ATL语义的基础上限制的时间资源提供给验证者和证伪者的语义评估游戏。我们介绍和分析一个无界和（序数）有界的GTS，并证明这些是等价的标准（塔斯基风格）的成分语义。我们证明了在这两个版本的GTS中，ATL公式的真值总是可以在有限时间内确定的，即，而不需要构建无限的路径。我们还介绍了一个不等价的有界语义，并认为这是自然的逻辑和博弈论的角度来看。
2019-06-15 cs.GT cs.LO math.LO
Generalizations of Mezhirov's game semantics to predicate superintuitionistic logics and the Casari formula
本文将Mezhirov提出的命题直觉主义逻辑博弈语义推广至谓词直觉主义逻辑及其扩展，并建立博弈与无限公式集推导之间的联系。
2023-10-24 math.LO
Binary Kripke Semantics for a Strong Logic for Naive Truth
我表明，逻辑$\textsf{TJK}^{d+}$，目前已知的最强的逻辑之一，以支持天真的真理理论，是从克里普克语义常数域直觉主义逻辑（一）下降的要求，可访问性关系是自反的和（二）只允许自反世界作为反例逻辑后果。此外，我还为$\textsf{TJK}^{d+}$提供了一个简化的自然演绎系统，其中使用条件证明的限制形式来建立条件。
2020-12-01 math.LO
Interpretability logics and generalized Veltman semantics
我们得到了可解释逻辑ILP_0和ILR的模态完备性。广义Veltman语义我们的证明是基于智能（全）标签的概念。我们还提供了较短的完整性w.r.t.证明。许多经典的可解释性逻辑的广义语义。我们得到了可判定性和有限模型性质w.r.t. ILP_0和ILR的广义语义。最后，我们开发了一个建设，可能是有用的证明ILW W W的扩展的完整性。在未来的广义语义，并证明其使用ILW* = ILM_0W。
2019-07-08 math.LO
Valuation semantics for first-order logics of evidence and truth (and some related logics)
本文介绍了逻辑$QLET_{F}$，证据和真理逻辑$LET_{F}$的量化扩展，以及相应的声音和完整的一阶非确定性赋值语义。$LET_{F}$是一个次协调和次完全的逻辑，它用一个经典算子${\circ}$和一个非经典算子$\bullet$扩展了一级蕴涵逻辑（$FDE$），它们彼此对偶：当${\circ} A$要求$A$行为经典时，${\bullet} A$从$A$违反一些经典有效的推论中得出。$QLET_{F}$的语义结合了解释否定谓词的反扩展与一阶非确定性赋值的结构，并通过Henkin方法的推广获得完整性。通过为$FDE$，$K3$和$LP$的一阶扩展提供健全和完整的语义，我们展示了这些工具，我们在这里称之为“反扩展+赋值”的方法，可以自然地应用于一些非经典逻辑。
2021-06-18 math.LO
Non-normal logics: semantic analysis and proof theory (extended version)
本文介绍了基本单调模态逻辑、条件逻辑CK及其公理化扩展的真显示演算。这些结石是健全的，完整的，保守的，并享有削减消除和子公式的财产。我们的建议适用于多类型的方法在设计适当的显示演算，从语义分析，促使句法翻译从单类型的非正常模态逻辑到多类型的正常多模态逻辑。
2020-09-29 math.LO
Hoops, Coops and the Algebraic Semantics of Continuous Logic
布奇和欧文研究代数结构称为箍。环为一类子结构逻辑提供了自然的代数语义，我们认为这些子结构逻辑是广泛研究的卢卡申科逻辑的直观类似物。Ben Yaacov通过增加一个减半运算符扩展了Kukasiewicz逻辑，得到了所谓的连续逻辑。在本文中，我们定义了连续环，或coop的概念，并表明，coop提供了一个自然的代数语义连续逻辑。本文讨论了简单的次直不可约的合作社，并研究了各种合作社理论的判定问题。在传递中，我们给出了一个新的证明，箍形成一个品种，给出了一个算法，转换成一个方程链的证明在直觉主义Eukaseiwicz逻辑。
2012-12-12 math.LO
Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-valued, Rough and Perp Semantics
本文证明了Kleene代数的一个结构定理，指出Kleene代数的一个元素可以看作是集合的一个序偶。此外，我们表明，否定与Kleene属性（称为“Kleene否定”）总是产生于集理论的补充。相应的命题逻辑，然后研究通过3值和粗糙集语义。它也建立了Kleene否定可以被认为是一个模态算子，并使perp语义的逻辑。人们得出结论，这个逻辑的所有语义都是等价的。
2015-11-23 math.LO
Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
本文引入了一元BL-代数簇作为赋有两个一元算子$\forall$和$\exists$的BL-代数.经过研究的基本性质，这个品种，我们表明，这类是等价的代数语义的一元片段的哈耶克的基本谓词逻辑。此外，我们开始了一元BL-代数的主要子簇的系统研究，其中一些构成了著名的一元逻辑的代数语义：一元哥德尔逻辑和一元Kukasiewicz逻辑。在最后一节中，我们给出了全序一元BL-代数的一个完整刻画。
2016-09-16 math.LO
Base-extension Semantics for S5 Modal Logic
本文为多主体S5模态逻辑提出基扩展语义，以证明而非真值为基础，通过基之间的关系结构建立可靠性与完全性，并探讨向动态认知逻辑的扩展。
2024-06-07 math.LO
Polytopological Semantics for Intuitionistic Modal Logics
Technische Universität Wien（维也纳工业大学）；University of Barcelona（巴塞罗那大学）；Institute of Science Tokyo（东京科学大学）
本文提出多拓扑语义用于构造、直觉及Goedel-Dummett的K4和S4变种，通过单一集合上的多种拓扑解释直觉和模态运算符，并证明这些逻辑在相应语义下是正确且强完备的。
2026-04-25 math.LO
Algebraic Semantics for the Logic of Proofs
该研究基于布尔代数构建经典证明逻辑的代数语义，扩展证明逻辑语言以赋予证成项布尔结构与项相等谓词，最终得到相关代数的完备性定理与斯通表示定理的推广。
2021-09-26 math.LO
