「math.LO」カテゴリーアーカイブ

Making first order linear logic a generating grammar

投稿日: 2023年11月17日 作成者: jarxiv

要約 さまざまなカテゴリ文法が一次乗算線形論理 (MLL1) のフラグメントで表 … 続きを読む →

カテゴリー: cs.CL, cs.LO, math.LO | Making first order linear logic a generating grammar はコメントを受け付けていません

Syntax-semantics interface: an algebraic model

投稿日: 2023年11月13日 作成者: jarxiv

要約 ホップ代数の観点からマージとミニマリズムの定式化を構文意味論的インターフェ … 続きを読む →

カテゴリー: 16T05, 18C50, 91F20, cs.CL, math.LO, math.QA, math.RA | Syntax-semantics interface: an algebraic model はコメントを受け付けていません

Sequential composition of propositional logic programs

投稿日: 2023年10月12日 作成者: jarxiv

要約 この論文は、命題論理プログラムの逐次合成と分解を紹介し、研究します。 非周 … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.DM, cs.LO, math.LO | Sequential composition of propositional logic programs はコメントを受け付けていません

Algebraic, Topological, and Mereological Foundations of Existential Granules

投稿日: 2023年8月31日 作成者: jarxiv

要約 この研究では、それ自体を決定する存在顆粒の新しい概念が発明され、代数的、ト … 続きを読む →

カテゴリー: 03B70 (Primary), 03B80, 03C65, 03G25, 08A55, cs.AI, cs.LG, cs.LO, math.LO, math.RA, secondary | Algebraic, Topological, and Mereological Foundations of Existential Granules はコメントを受け付けていません

Making first order linear logic a generating grammar

投稿日: 2023年8月29日 作成者: jarxiv

要約 さまざまなカテゴリ文法が一次乗算線形論理 (MLL1) のフラグメントで表 … 続きを読む →

カテゴリー: cs.CL, cs.LO, math.LO | Making first order linear logic a generating grammar はコメントを受け付けていません

A Simplified Variant of Gödel’s Ontological Argument

投稿日: 2023年8月28日 作成者: jarxiv

要約 G\’odel の存在論的議論の簡略化された変形が提示されます … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LO, math.LO | A Simplified Variant of Gödel’s Ontological Argument はコメントを受け付けていません

Making first order linear logic a generating grammar

投稿日: 2023年8月24日 作成者: jarxiv

要約 さまざまなカテゴリ文法が一次乗算線形論理 (MLL1) のフラグメントで表 … 続きを読む →

カテゴリー: cs.CL, cs.LO, math.LO | Making first order linear logic a generating grammar はコメントを受け付けていません

Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions

投稿日: 2023年7月31日 作成者: jarxiv

要約 私たちは、Coq 証明アシスタントの基礎となる構成型理論である帰納法計算 … 続きを読む →

カテゴリー: cs.CL, cs.LO, math.LO | Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions はコメントを受け付けていません

Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

投稿日: 2023年7月19日 作成者: jarxiv

要約 この論文は、決定可能なクエリ含意を持つ存在ルール セットの非常に表現力豊か … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO, math.LO | Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets はコメントを受け付けていません

Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets

投稿日: 2023年7月18日 作成者: jarxiv

要約 この論文は、決定可能なクエリ含意を持つ存在ルール セットの非常に表現力豊か … 続きを読む →

カテゴリー: cs.AI, cs.DB, cs.LO, math.LO | Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets はコメントを受け付けていません