「03Bxx」カテゴリーアーカイブ

Faithful Logic Embeddings in HOL — A recipe to have it all: deep and shallow, automated and interactive, heavy and light, proofs and counterexamples, meta and object level

投稿日: 2025年2月27日 作成者: jarxiv

要約 古典的な高次ロジックにおける非古典的なロジックの深く浅い埋め込みは、近年、 … 続きを読む →

カテゴリー: 03Axx, 03B15, 03Bxx, 68T15, cs.AI, cs.LO, cs.MS, I.2.3, math.LO | コメントする