Counting with 3-valued truth tables of bracketed formulae connected by implication

TL;DR

This paper explores the combinatorial structure of Kleene's three-valued truth tables for all bracketed implications with n variables, providing insights into their complexity and properties.

Contribution

It introduces a detailed analysis of the combinatorial aspects of three-valued truth tables for bracketed implications, a novel focus in logic and combinatorics.

Findings

Characterization of the structure of Kleene's truth tables

Enumeration formulas for bracketed implications

Insights into the complexity of three-valued logical connectives

Abstract

In this paper we investigate the combinatorical structure of the Kleene type truth tables of all bracketed formulae with n distinct variables connected by the binary connective of implication.