Dual combinators bite the dust

, &
Bulletin of Symbolic Logic 4:463-464 (1998)
  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: 101,247

External links

  • This entry has no external links. Add one.
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

Review: Robert K. Meyer, J. Michael Dunn, E, R and $gamma$. [REVIEW]David Makinson - 1971 - Journal of Symbolic Logic 36 (3):521-522.
Katalin Bimbó and J. Michael Dunn. Relational semantics of nonclassical logical calculi. CSLI Lecture Notes, no. 188. CSLI Publications, Stanford University, 2008, x + 382 pp. [REVIEW]Alasdair Urquhart - 2010 - Bulletin of Symbolic Logic 16 (2):277-278.
Investigation into combinatory systems with dual combinators.Katalin Bimbó - 2000 - Studia Logica 66 (2):285-296.
R. K. Meyer. Pure denumerable Łukasiewiczian implication. The journal of symbolic logic, vol. 31 , pp. 575–580.A. Rose - 1968 - Journal of Symbolic Logic 33 (2):308.
Two proofs of the algebraic completeness theorem for multilattice logic.Oleg Grigoriev & Yaroslav Petrukhin - 2019 - Journal of Applied Non-Classical Logics 29 (4):358-381.
Storrs McCall and R. K. Meyer. Pure three-valued Łukasiewiczian implication. The journal of symbolic logic, vol. 31 , pp. 399–405.Atwell R. Turquette - 1968 - Journal of Symbolic Logic 33 (1):133-134.
Logic programming languages, constraints, functions, and objects, edited by K. R. Apt, J. W. de Bakker, and J. J. M. M. Rutten, Logic programming, The MIT Press, Cambridge, Mass., and London, 1993, xiv + 204 pp. [REVIEW]Peter H. Schmitt - 1995 - Journal of Symbolic Logic 60 (4):1327-1328.
K. Sigmund, J. Dawson, and K. Muhlberger, Kurt Godel: Das Album. The Album.Volker Peckhaus - 2007 - Bulletin of Symbolic Logic 13 (4):547-549.
Announcements.[author unknown] - 1973 - Review of Metaphysics 27 (2):446-447.
Iterates of the Core Model.Ralf Schindler - 2006 - Journal of Symbolic Logic 71 (1):241 - 251.

Analytics

Added to PP
2014-01-20

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author Profiles

Katalin Bimbo
University of Alberta
Jon Michael Dunn
PhD: University of Pittsburgh; Last affiliation: Indiana University, Bloomington

Citations of this work

Semantics for dual and symmetric combinatory calculi.Katalin Bimbó - 2004 - Journal of Philosophical Logic 33 (2):125-153.
The church-Rosser property in dual combinatory logic.Katalin Bimbó - 2003 - Journal of Symbolic Logic 68 (1):132-152.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.

Add more citations

References found in this work

No references found.

Add more references