Notes on algebraic structure of truth tables of bracketed formulae connected by implications
Volkan Yildiz
TL;DR
This paper explores the algebraic properties of truth tables for all bracketed implications with multiple variables, revealing underlying structural patterns.
Contribution
It provides a detailed analysis of the algebraic structure of truth tables for bracketed implication formulas, a novel focus in logical algebra.
Findings
Identifies algebraic patterns in truth tables
Characterizes the structure of bracketed implications
Provides insights into logical connectives' algebraic behavior
Abstract
In this paper we investigate the algebraic structure of the truth tables of all bracketed formulae with n distinct variables connected by the binary connective of implication.
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
TopicsData Management and Algorithms · Rough Sets and Fuzzy Logic · Bayesian Modeling and Causal Inference