Skip to main content

On Modal Logics Defining Jaśkowski-Like Discussive Logics

  • Conference paper
  • First Online:
New Directions in Paraconsistent Logic

Part of the book series: Springer Proceedings in Mathematics & Statistics ((PROMS,volume 152))

Abstract

The present paper concerns Jaśkowski-like discussive logics which arise by modification of Jaśkowski’s original translation of discussive conjunction. In each case, we indicate the smallest modal logic defining a given Jaśkowski-like discussive logic.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Bull, R.A., Segerberg, K.: Basic modal logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 1–88. D. Reidel Publishing Company, Dordrecht (1984)

    Google Scholar 

  2. Chellas, B.F.: Modal Logic. An Introduction. Cambridge University Press, Cambridge (1980)

    Book  MATH  Google Scholar 

  3. Ciuciura, J.: On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, \({\mathbf{D}}_{\mathbf{2}}^{\varvec {*}}\). Logic Log. Philos. 14, 235–252 (2005)

    MathSciNet  MATH  Google Scholar 

  4. da Costa, N.C.A., Dubikajtis, L.: On Jaśkowski’s discussive logic. In: Arruda, A.I., da Costa, N.C.A., Chuaqui, R. (eds.) Non-Classical Logics, Model Theory and Computability, pp. 57–73. North-Holland Publishing, Amsterdam (1977)

    Google Scholar 

  5. Jaśkowski, S.: Rachunek zdań dla systemów dedukcyjnych sprzecznych. Studia Societatis Scientiarum Torunensis, Sect. A, I(5), pp. 57–77 (1948). The first English version: Propositional calculus for contradictory deductive systems. Studia Logica, vol. 24, pp. 143–157 (1969). The second English version: Logic and Logical Philosophy, vol. 7, pp. 35–56 (1999)

    Google Scholar 

  6. Jaśkowski, S.: O koniunkcji dyskusyjnej w rachunku zdań dla systemów dedukcyjnych sprzecznych. Studia Societatis Scientiarum Torunensis, Sect. A, vol. I, no. 8, pp. 171–172 (1949). The English version: On the discussive conjunction in the propositional calculus for inconsistent deductive systems. Logic and Logical Philosophy, vol. 7, pp. 57–59 (1999)

    Google Scholar 

  7. Kotas, J., da Costa, N.C.A.: On some modal logical systems defined in connexion with Jaśkowski’s problem. In: Arruda, A.I., da Costa, N.C.A., Chuaqui, R. (eds.) Non Classical Logics, Model Theory and Computability, pp. 57–73. North-Holland Publishing, Amsterdam (1977)

    Google Scholar 

  8. Nasieniewski, M., Pietruszczak, A.: A method of generating modal logics defining Jaśkowski’s discussive logic D\(_{2}\). Stud. Logica 97(1), 161–182 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  9. Nasieniewski, M., Pietruszczak, A.: On the weakest modal logics defining Jaśkowski’s logic D\(_{2}\) and the D\(_{2}\)-consequence. Bull. Sect. Logic 41, 215–232 (2012)

    MathSciNet  MATH  Google Scholar 

  10. Nasieniewski, M., Pietruszczak, A.: On modal logics defining Jaśkowski’s D2-consequence. In: Tanaka, K., Berto, F., Mares, E., Paoli, F. (eds.) Paraconsistency: Logic and Applications, chapter IX, Logic, Epistemology and the Unity of Science Series, vol. 26, pp. 141–160. Springer (2013)

    Google Scholar 

Download references

Acknowledgments

We would like to thank anonymous referee for her/his useful suggestions on a previous version of this paper.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Marek Nasieniewski .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer India

About this paper

Cite this paper

Nasieniewski, M., Pietruszczak, A. (2015). On Modal Logics Defining Jaśkowski-Like Discussive Logics. In: Beziau, JY., Chakraborty, M., Dutta, S. (eds) New Directions in Paraconsistent Logic. Springer Proceedings in Mathematics & Statistics, vol 152. Springer, New Delhi. https://doi.org/10.1007/978-81-322-2719-9_9

Download citation

Publish with us

Policies and ethics