Proof theory for fuzzy logics. Applied Logic Series, vol. 36

, &
Bulletin of Symbolic Logic 16 (3):415-419 (2010)
  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,010

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

G. Metcalfe, N. Olivetti and D. Gabbay. Proof theory for fuzzy logics. Applied Logic Series, vol. 36. Springer, 2009, viii + 276 pp. [REVIEW]Bartosz Wiȩckowski - 2010 - Bulletin of Symbolic Logic 16 (3):415-419.
D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-dimensional modal logics: theory and applications. Studies in Logic and the Foundations of Mathematics, vol. 148. Elsevier, Amsterdam, xiv + 747 pp. [REVIEW]Mark Reynolds - 2005 - Bulletin of Symbolic Logic 11 (1):77-79.
The finite model property for semilinear substructural logics.San-Min Wang - 2013 - Mathematical Logic Quarterly 59 (4-5):268-273.
HpsUL is not the logic of pseudo-uninorms and their residua.Sanmin Wang & Bin Zhao - 2009 - Logic Journal of the IGPL 17 (4):413-419.
Sergei N. Artemov. Explicit provability and constructive semantics. The bulletin of symbolic logic, vol. 7 , pp. 1–36. [REVIEW]Jeremy D. Avigad - 2002 - Bulletin of Symbolic Logic 8 (3):432-433.
Andrews Peter B.. An introduction to mathematical logic and type theory: to truth through proof. Applied logic series, vol. 27. Kluwer Academic Publishers, Dordrecht, Boston, and London, 2002, xviii+ 390 pp. [REVIEW]Mitsuru Yasuhara - 2003 - Bulletin of Symbolic Logic 9 (3):408-408.
Hazen Allen. Predicative logics. Handbook of philosophica logic, Volume I, Elements of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 331–407. [REVIEW]G. Kreisel - 1989 - Journal of Symbolic Logic 54 (3):1092-1094.
Robert Bull and Krister Segerberg. Basic modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 1–88. - John P. Burgess. Basic tense logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 89–133. - Richmond H. Thomason. Combinations of tense and modality. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 135–165. - Johan van Benthem. Correspondence theory. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by D. Gabbay and F. Guenthner, Synthese library, vol. [REVIEW]Steven T. Kuhn - 1989 - Journal of Symbolic Logic 54 (4):1472-1477.
Proof theory of modal logic, edited by Heinrich Wansing, Applied logic series, vol. 2, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1996, x + 317 pp. [REVIEW]Melvin Fitting - 1999 - Journal of Symbolic Logic 64 (4):1825-1828.

Analytics

Added to PP
2015-02-04

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's Profile

Dov Gabbay
Hebrew University of Jerusalem

Citations of this work

Add more citations

References found in this work

No references found.

Add more references