Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Introduction Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

3. Non-classical Logics

verfasst von : Seiki Akama, Tetsuya Murai, Yasuo Kudo

Erschienen in: Reasoning with Rough Sets

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This chapter surveys some non-classical logics. They are closely related to the foundations of rough set theory. We provide the basics of modal, many-valued, intuitionistic and paraconsistent logic.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Rough Set Theory
Nächstes Kapitel Logical Characterizations of Rough Sets
Fußnoten
1
We employ the same symbols for lattice-theoretical operations as the corresponding logical connectives.
 
Literatur
1.
2.
3.
Kripke, S.: Semantical analysis of modal logic I. Z. für math. Logik und Grundl. der Math. 8, 67–96 (1963)
4.
Hughes, G., Cresswell, M.: A New Introduction to Modal Logic. Routledge, New York (1996)CrossRefMATH
5.
Łukasiewicz, J.: On 3-valued logic 1920. In: McCall, S. (ed.) Polish Logic, pp. 16–18. Oxford University Press, Oxford (1967)
6.
Kleene, S.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)MATH
7.
Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multi-Valued Logic, pp. 8–37. Reidel, Dordrecht (1977)
8.
Belnap, N.D.: How a computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy, pp. 30–55. Oriel Press (1977)
9.
Anderson, A., Belnap, N.: Entailment: The Logic of Relevance and Necessity I. Princeton University Press, Princeton (1976)MATH
10.
Łukasiewicz, J.: Many-valued systems of propositional logic, 1930. In: McCall, S. (ed.) Polish Logic. Oxford University Press, Oxford (1967)
11.
12.
13.
14.
Ginsberg, M.: Multivalued logics. In: Proceedings of AAAI 1986, pp. 243–247. Morgan Kaufman, Los Altos (1986)
15.
Ginsberg, M.: Multivalued logics: a uniform approach to reasoning in AI. Comput. Intell. 4, 256–316 (1988)
16.
Fitting, M.: Intuitionisic Logic, Model Theory and Forcing. North-Holland, Amsterdam (1969)MATH
17.
Kifer, M., Subrahmanian, V.S.: On the expressive power of annotated logic programs. In: Proceedings of the 1989 North American Conference on Logic Programming, pp. 1069–1089 (1989)
18.
19.
20.
21.
Heyting, A.: Intuitionism. North-Holland, Amsterdam (1952)MATH
22.
Kripke, S.: Semantical analysis of intuitionistic logic. In: Crossley, J., Dummett, M. (eds.) Formal Systems and Recursive Functions, pp. 92–130. North-Holland, Amsterdam (1965)CrossRef
23.
24.
25.
Krisel, G., Putnam, H.: Eine unableitbarkeitsbeuwesmethode für den intuitinistischen Aussagenkalkul. Arch. für Math. Logik und Grundlagenforschung 3, 74–78 (1967)CrossRef
26.
Akama, S., Murai, T., Kudo, Y.: Heyting-Brouwer rough set logic. In: Proceedings of KSE2013, Hanoi, pp. 135–145. Springer, Heidelberg (2013)
27.
Akama, S., Murai, T., Kudo, Y.: Da Costa logics and vagueness. In: Proceedings of GrC2014, Noboribetsu, Japan (2014)
28.
29.
30.
31.
32.
Akama, S.: On the proof method for constructive falsity. Z. für Math. Log. und Grundl. der Math. 34, 385–392 (1988)
33.
34.
Akama, S.: Constructive falsity: foundations and their applications to computer science. Ph.D. thesis, Keio University, Yokohama, Japan (1990)
35.
36.
37.
Nelson, D.: Negation and separation of concepts in constructive systems. In: Heyting, A. (ed.) Constructivity in Mathematics, pp. 208–225. North-Holland, Amsterdam (1959)
38.
Rasiowa, H.: An Algebraic Approach to Non-Classical Logics. North-Holland, Amsterdam (1974)MATH
39.
Jaśkowski, S.: Propositional calculus for contradictory deductive systems (in Polish). Stud. Soc. Sci. Tor. Sect. A 1, 55–77 (1948)
40.
Jaśkowski, S.: On the discursive conjunction in the propositional calculus for inconsistent deductive systems (in Polish). Stud. Soc. Sci. Tor. Sect. A 8, 171–172 (1949)
41.
42.
43.
da Costa, N.C.A., Alves, E.H.: A semantical analysis of the calculi \(C_n\). Notre Dame J. Form. Log. 18, 621–630 (1977)CrossRefMATH
44.
Anderson, A., Belnap, N., Dunn, J.: Entailment: The Logic of Relevance and Necessity II. Princeton University Press, Princeton (1992)MATH
45.
Routley, R., Plumwood, V., Meyer, R.K., Brady, R.: Relevant Logics and Their Rivals, vol. 1. Ridgeview, Atascadero (1982)
46.
Dunn, J.M.: Relevance logic and entailment. In: Gabbay, D., Gunthner, F. (eds.) Handbook of Philosophical Logic, vol. III, pp. 117–224. Reidel, Dordrecht (1986)CrossRef
47.
Vasil’ev, N.A.: Imaginary Logic. Nauka, Moscow (1989). (in Russian)MATH
48.
Arruda, A.I.: A survey of paraconsistent logic. In: Arruda, A., da Costa, N., Chuaqui, R. (eds.) Mathematical Logic in Latin America, North-Holland, Amsterdam, pp. 1–41 (1980)
49.
50.
51.
Priest, G.: Paraconsistent logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn, pp. 287–393. Kluwer, Dordrecht (2002)CrossRef
52.
Priest, G.: In Contradiction: A Study of the Transconsistent, 2nd edn. Oxford University Press, Oxford (2006)CrossRefMATH
53.
Batens, D.: Inconsistency-adaptive logics and the foundation of non-monotonic logics. Log. et Anal. 145, 57–94 (1994)MathSciNetMATH
54.
Batens, D.: A general characterization of adaptive logics. Log. et Anal. 173–175, 45–68 (2001)MathSciNetMATH
55.
Batens, D.: Dynamic dialectical logics. In: Priest, G., Routley, R., Norman, J. (eds.) Paraconsistent Logic: Essay on the Inconsistent, pp. 187–217. Philosophia Verlag, München (1989)
56.
Carnielli, W., Coniglio, M., Marcos, J.: Logics of formal inconsistency. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 14, 2nd edn, pp. 1–93. Springer, Heidelberg (2007)
57.
Carnielli, W., Marcos, J.: Tableau systems for logics of formal inconsistency. In: Abrabnia, H.R. (ed.) Proceedings of the 2001 International Conference on Artificial Intelligence, vol. II, pp. 848–852. CSREA Press (2001)
58.
Subrahmanian, V.: On the semantics of quantitative logic programs. In: Proceedings of the 4th IEEE Symposium on Logic Programming, pp. 173–182 (1987)
59.
60.
da Costa, N.C.A., Subrahmanian, V.S., Vago, C.: The paraconsistent logic \(P{\cal T\it }\). Z. für Math. Log. und Grundl. der Math. 37, 139–148 (1991)
61.
da Costa, N.C.A., Abe, J.M., Subrahmanian, V.S.: Remarks on annotated logic. Z. für Math. Log. und Grundl. der Math. 37, 561–570 (1991)
62.
Abe, J.M.: On the foundations of annotated logics (in Portuguese). Ph.D. thesis, University of São Paulo, Brazil (1992)
63.
Abe, J.M., Akama, S., Nakamatsu, K.: Introduction to Annotated Logics. Springer, Heidelberg (2015)CrossRefMATH
64.
da Costa, N.C.A.: \(\alpha \)-models and the system \(T\) and \(T^*\). Notre Dame J. Form. Log. 14, 443–454 (1974)CrossRefMATH
Metadaten
Titel
Non-classical Logics
verfasst von
Seiki Akama
Tetsuya Murai
Yasuo Kudo
Copyright-Jahr
2018
Buch
Reasoning with Rough Sets

Print ISBN: 978-3-319-72690-8

Electronic ISBN: 978-3-319-72691-5

Copyright-Jahr: 2018

DOI
https://doi.org/10.1007/978-3-319-72691-5_3