Abstract
We propose a constructive discursive logic with strong negation CDLSN based on Nelson’s constructive logic \(N^{-}\) as a constructive version of Jaśkowski’s discursive logic. In CDLSN, discursive negation is defined similar to intuitionistic negation and discursive implication is defined as material implication using discursive negation. We give an axiomatic system and Kripke semantics with a completeness proof. We also discuss some possible applications of CDLSN for common-sense reasoning.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Akama, S.: Constructive predicate logic with strong negation and model theory. Notre Dame J. Form. Logic 29, 18–27 (1988)
Akama, S.: Subformula semantics for strong negation systems. J. Philos. Logic 19, 217–226 (1990)
Akama, S.: Nelson’s paraconsistent logic. Logic and Logical Philos. 7, 101–115 (1999)
Akama, S.: Discursive reasoning in a constructive setting. Int. J. Reason.-Based Intell. Syst. 3, 88–93 (2011)
Akama, S., Abe, J.M., Nakamatsu, K.: Constructive discursive logic with strong negation. Logique et Analyse 215, 395–408 (2011)
Akama, S., Nakamatsu, K., Abe, J.M.: Common-sense reasoning in constructive discursive logic. In: Proceedings of ICCM2012, pp. 596–601, Seoul, South Korea (2012)
Almukdad, A., Nelson, D.: Constructible falsity and inexact predicates. J. Symb. Logic 49, 231–233 (1984)
da Costa, N.C.A., Dubikajtis, L.: On Jaśkowski’s discursive logic. In: Arruda, A.I., da Costa, N.C.A., Chuaqui, R. (eds.) Non-Classical Logics, Model Theory and Computability, pp. 37–56. North-Holland, Amsterdam (1977)
da Costa, N.C.A., Doria, F.A.: On Jaśkowski’s discursive logics. Stud. Logica. 54, 33–60 (1995)
Jaśkowski, S.: Propositional calculus for contradictory deductive systems (in Polish). Studia Societatis Scientiarun Torunesis, Sectio A 1, 55–77 (1948)
Jaśkowski, S.: On the discursive conjunction in the propositional calculus for inconsistent deductive systems (in Polish). Studia Societatis Scientiarun Torunesis, Sectio A 8, 171–172 (1949)
Kotas, J.: The axiomatization of S. Jaśkowski’s discursive logic, Studia Logica 33, 195–200 (1974)
McDermott, D.: Nonmonotonic logic II. J. ACM 29, 33–57 (1982)
McDermott, D., Doyle, J.: Non-monotonic logic I. Artif. Intell. 13, 41–72 (1980)
Minsky, M.: A framework for representing knowledge. Haugeland, J. (ed.) Mind-Design, pp. 95–128, MIT Press, Cambridge (1975)
Moore, R.: Semantical considerations on nonmonotonic logic. Artif. Intell. 25, 75–94 (1985)
Nelson, D.: Constructible falsity. J. Symb. Logic 14, 16–26 (1949)
Reiter, R.: A logic for default reasoning. Artif. Intell. 13, 81–132 (1980)
Thomason, R.H.: Semantical study of constructible falsity. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 15, 247–257 (1969)
Vorob’ev, N.N.: A constructive propositional calculus with strong negation (in Russian). Dokl. Akad. Nauk SSSR 85, 465–468 (1952)
Acknowledgments
We are grateful to the referees for their useful comments. Thanks also to Prof. John Fulcher for his suggestions in the final version of this chapter.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Akama, S., Abe, J.M., Nakamatsu, K. (2015). Constructive Discursive Logic: Paraconsistency in Constructivism. In: Abe, J. (eds) Paraconsistent Intelligent-Based Systems. Intelligent Systems Reference Library, vol 94. Springer, Cham. https://doi.org/10.1007/978-3-319-19722-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-19722-7_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19721-0
Online ISBN: 978-3-319-19722-7
eBook Packages: EngineeringEngineering (R0)