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:
Tutorial on Inconsistency-Adaptive Logics Kapitel lesen Erstes Kapitel lesen

2015 | OriginalPaper | Buchkapitel

19. Topological Semantics for da Costa Paraconsistent Logics \(C_\omega \) and \(C^{*}_\omega \)

verfasst von : Can Başkent

Erschienen in: New Directions in Paraconsistent Logic

Verlag: Springer India

Einloggen

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

search-config
loading …

Abstract

In this work, we consider a well-known and well-studied system of paraconsistent logic which is due to Newton da Costa, and present a topological semantics for it.

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 The Evil Twin: The Basics of Complement-Toposes
Nächstes Kapitel Perceiving and Modelling Brightness Contradictions Through the Study of Brightness Illusions
Literatur
1.
Arenas, F.G.: Alexandroff spaces. Acta Mathematica Universitatis Comenianae 68(1), 17–25 (1999)MathSciNetMATH
2.
Awodey, S., Kishida, K.: Topology and modality: the topological interpretation of first-order modal logic. Rev. Symb. Logic 1(2), 146–166 (2008)MathSciNetMATH
3.
Baaz, M.: Kripke-type semantics for da costa’s paraconsistent logic \(C_\omega \). Notre Dame J. Form. Logic 27(4), 523–527 (1986)CrossRefMathSciNetMATH
4.
5.
Béziau, J.-Y.: S5 is a paraconsistent logic and so is first-order classical logic. Log. Stud. 9(1) (2002)
6.
Béziau, J.-Y.: Paraconsistent logic from a modal viewpoint. J. Appl. Logic 3(1), 7–14 (2005)CrossRefMATH
7.
da Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame J. Form. Logic 15(4), 497–510 (1974)CrossRefMATH
8.
da Costa, N.C.A., Alves, E.H.: A semantical analysis of the calculi \(c_n\). Notre Dame J. Form. Logic 18(4), 621–630 (1977)CrossRefMATH
9.
da Costa, N.C.A., Krause, D., Bueno, O.: Paraconsistent logics and paraconsistency. In: Jacquette, D. (ed.) Philosophy of Logic, vol. 5, pp. 655–781. Elsevier (2007)
10.
11.
Fitting, M., Mendelsohn, R.: First-Order Modal Logic. Kluwer (1998)
12.
Goldblatt, R.: Mathematical modal logic: a view of its evolution. In: Gabbay, D.M., Woods, J. (eds.) Handbook of History of Logic, vol. 6. Elsevier (2006)
13.
Goodman, N.D.: The logic of contradiction. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 27(8–10), 119–126 (1981)CrossRefMATH
14.
15.
16.
17.
Mints, G.: A Short Introduction to Intuitionistic Logic. Kluwer (2000)
18.
Mormann, T.: Heyting mereology as a framework for spatial reasoning. Axiomathes (2012)
19.
20.
Pratt-Hartman, I.E.: First-order mereotopology. In: Aiello, M., Pratt-Hartman, I.E., van Benthem, J. (eds.) Handbook of Spatial Logics, pp. 13–97. Springer (2007)
21.
22.
Stell, J.G., Worboys, M.F.: The algebraic structure of sets of regions. In: Hirtle, S.C., Frank, A.U. (eds.) Spatial Information Theory. Lecture Notes in Computer Science, vol. 1329, pp. 163–174. COSIT 97. Springer (1997)
23.
van Benthem, J., Bezhanishvili, G.: Modal logics of space. In: Aiello, M., Pratt-Hartman,I.E., van Benthem, J. (eds.) Handbook of Spatial Logics. Springer (2007)
Metadaten
Titel
Topological Semantics for da Costa Paraconsistent Logics and
verfasst von
Can Başkent
Copyright-Jahr
2015
Verlag
Springer India
Buch
New Directions in Paraconsistent Logic

Print ISBN: 978-81-322-2717-5

Electronic ISBN: 978-81-322-2719-9

Copyright-Jahr: 2015

DOI
https://doi.org/10.1007/978-81-322-2719-9_19

Premium Partner

    Bildnachweise