Switch to: References

Add citations

You must login to add citations.
  1. Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities.T. Jarmużek, J. Malinowski, A. Parol & N. Zamperlin - forthcoming - Logic Journal of the IGPL.
    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 Hilbert-style calculi. The presented (...)
    Download  
     
    Export citation  
     
    Bookmark