A system of predicate logic with trans-atomic units (Q1094409)

The paper explains how to go beyond the limitation to 16 basic connectives in standard predicate logic by imbedding partial connectives in transatomic units. Such partial connectives can be customized to adhere to some of the semantic properties of total connectives while dispensing with others. The connective `-c' studied in this paper is similar to the material conditional in adhering to Modus Ponens and Modus Tollens but differs from the material conditional in not adhering to Clavius, Duns Scotus, or contraposition. These latter limitations make it an interesting candidate for forming lawlike generalizations.