Model Theory in a Paraconsistent Environment

Bulletin of Symbolic Logic 27 (2):216-216 (2021)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2021.33

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

omnibus Review. [REVIEW]Henry Kyburg - 1998 - Journal of Symbolic Logic 63 (3):1183-1184.
[Omnibus Review].Henry Kyburg - 1998 - Journal of Symbolic Logic 63 (3):1183-1184.
Newton C. A. da Costa. On the theory of inconsistent formal systems. Notre Dame journal of formal logic, vol. 15 , pp. 497–510. - Newton C. A. da Costa. The philosophical import of paraconsistent logic. The journal of non-classical logic , vol. 1 , pp. 1–19. - Newton C. A. da Costa. On paraconsistent set theory. Logique et analyse, n.s. vol. 29 , pp. 361–371. - Newton C. A. da Costa, Jean-Yves Béziau, and Otávio Bueno. Paraconsistent logic in a historical perspective. Logique et analyse, vol. 38 , pp. 111–126. [REVIEW]Henry Kyburg - 1998 - Journal of Symbolic Logic 63 (3):1183-1184.
Sobre a história da paraconsistência e a obra de da Costa: ainstauração da Lógica Paraconsistente [On the history of paraconsistency and da Costa’s work: the establishment of paraconsistent logic]. . 535p + appendixes. [REVIEW]Evandro Luís Gomes - 2018 - Bulletin of Symbolic Logic 24 (4):464-465.
Poizat Bruno. A course in model theory. An introduction to contemporary mathematical logic. English translation by Klein Moses of jsl lviii 1074. Universitext. Springer, new York, Berlin, heidelberg, etc., 2000, XXXI+ 443 pp. [REVIEW]Gregory Cherlin - 2001 - Bulletin of Symbolic Logic 7 (4):521-522.
Paraconsistent logic and model theory.Elias H. Alves - 1984 - Studia Logica 43 (1-2):17 - 32.
An Introduction to Paraconsistent Logics.Manuel Bremer - 2005 - Bulletin of Symbolic Logic 11 (3):447-451.
Manuel Bremer. An introduction to paraconsistent logics. Peter Lang, Frankfurt, 2005, 249 pp. [REVIEW]Casey McGinnis - 2005 - Bulletin of Symbolic Logic 11 (3):447-451.
Paraconsistent Logic Programming in Three and Four-Valued Logics.Kleidson Êglicio Carvalho da Silva Oliveira - 2022 - Bulletin of Symbolic Logic 28 (2):260-260.
Model Theory: An Introduction.David Marker - 2003 - Bulletin of Symbolic Logic 9 (3):408-409.

Analytics

Added to PP
2022-11-14

Downloads
11 (#351,772)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references