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

Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner’s Students

投稿日: 2024年4月11日 作成者: jarxiv

要約 現在開発中の 2 つのシステムについて説明します。このシステムは、(i) … 続きを読む →

カテゴリー: cs.CL, math.LO | Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner’s Students はコメントを受け付けていません

Similarity-based analogical proportions

投稿日: 2024年2月29日 作成者: jarxiv

要約 著者は最近、普遍代数の一般的な設定内で類推的な比率と類似性を備えた抽象的な … 続きを読む →

カテゴリー: cs.AI, cs.LO, math.LO | Similarity-based analogical proportions はコメントを受け付けていません

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 はコメントを受け付けていません