A Note on Francez' Half-Connexive Formula.

The present note examines an unusual formula studied by Nissim Francez. More specifically, a variant of Nelson’s logic is introduced along the lines of the connexive logic C of Heinrich Wansing, and some basic results including soundness and completeness results are observed.

Authors

• Hitoshi Omori

Keywords

No keywords are indexed for this paper.