Paraconsistent Combinatory Logic,„

Bulletin of the Section of Logic 8 (4):177-180 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,343

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

Paraconsistent extensions of positive logic.Roman Tuziak - 1996 - Bulletin of the Section of Logic 25 (1).
Maarten Wicher Visser Bunder. Set theory based on combinatory logic. Dissertation Amsterdam 1969, 80 pp. + 3 pp. of corrections. [REVIEW]Jonathan P. Seldin - 1970 - Journal of Symbolic Logic 35 (1):147-148.
Relations between paraconsistent logic and many-valued logic.Newton Ca da Costa & Elias H. Alves - 1981 - Bulletin of the Section of Logic 10 (4):185-191.
An embedding-based completeness proof for Nelson's paraconsistent logic.Norihiro Kamide - 2010 - Bulletin of the Section of Logic 39 (3/4):205-214.
Possible-translations algebraization for paraconsistent logics.Juliana Bueno-Soler & W. A. Carnielli - 2005 - Bulletin of the Section of Logic 34 (2):77-92.
Syntactical and Semantical Characterization of a Class of Paraconsistent Logics.Krystyna Mruczek-Nasieniewska & Marek Nasieniewski - 2005 - Bulletin of the Section of Logic 34 (4):229-248.
Book review: Carnielli, W., Coniglio, M. paraconsistent logic: Consistency, contradiction and negation. Logic, epistemology, and the unity of science series. [REVIEW]Henrique Antunes & Vincenzo Ciccarelli - 2018 - Manuscrito 41 (2):111-122.
On algorithmic M-valued logic.Eleonora Perkowska - 1972 - Bulletin of the Section of Logic 1 (3):228-37.
On Paracomplete Versions of Jaśkowski's Discussive Logic.Krystyna Mruczek-Nasieniewska, Yaroslav Petrukhin & Vasily Shangin - 2024 - Bulletin of the Section of Logic 53 (1):29-61.
The Sequent Gentzen System for m-valued Logic.Zygmunt Saloni - 1973 - Bulletin of the Section of Logic 2 (1):30-35.

Analytics

Added to PP
2014-02-19

Downloads
35 (#678,037)

6 months
5 (#702,808)

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

Propositional and predicate calculuses based on combinatory logic.M. W. Bunder - 1974 - Notre Dame Journal of Formal Logic 15 (1):25-34.

Add more references