Implicational
Implicational is an adjective relating to implication, the logical connective indicating that one statement follows from another. In academic usage it is commonly applied to the study of conditional reasoning and to formal systems in which the implication operator (often written as A → B) is central. The term is also used to describe the purely implicational fragment of propositional logic, a minimal formal language that contains only variables and the implication connective.
Purely implicational logic has a long history in proof theory and logic. It is typically treated with
In algebra and semantics, implication is modeled in structures such as Boolean algebras for classical logic
Etymology: from Latin implicatus, past participle of implicare, to fold in or entangle. The term "implicational"