Logic With Verbs and its Mathematical Structure
Jun Tanaka
TL;DR
This paper introduces Logic with Verbs, exploring its foundational mathematical structure to enhance understanding of verb-based logical reasoning.
Contribution
It presents the first formal mathematical framework for Logic with Verbs, expanding traditional logic systems.
Findings
Defines the mathematical structure of Logic with Verbs
Establishes formal properties and rules
Provides a basis for further logical analysis
Abstract
The aim of this paper is to introduce the idea of Logic with Verbs and to show its mathematical structure.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic