Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences
"命题逻辑" 相关文章
Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences
State Algebra for Propositional Logic
Why this and not that? A Logic-based Framework for Contrastive Explanations
Logic-of-Thought: Enhancing Logical Reasoning in Large Language Models through Propositional Logic Augmentation
