Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
In the article we investigate three classes of extended Boolean Connexive
Logics. Two of them are extensions of Modal and non-Modal Boolean Connexive Logics with a property of closure under an arbitrary number of negations. The remaining one is an extension of Modal Boolean Connexive Logic with a property of closure under the function of demodalization. In our work we provide a formal presentation of mentioned properties and axiom schemata that allow us to incorporate them into the axiomatic systems. The presented axiom systems are provided with proofs of soundness and completeness. The properties of closure under negation and demodalization are motivated by the syncategorematic
view on the connective of negation and modalities, which is discussed in the
paper.
Description
Preprint artykułu
Keywords
axiomatization, Boolean Connexive Logic, demodalization, Modal Boolean Connexive Logic, multiple negations, relating semantics, syncategorematic connectives
Citation
Logic Journal of the IGPL
Collections
Endorsement
Review
Supplemented By
Referenced By
Creative Commons license
Except where otherwised noted, this item's license is described as Attribution 4.0 Poland