Proceedings of The Twenty-Third International Symposium on Multiple-Valued Logic, 1993

[author unknown]
IEEE Press (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,931

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

Chapters

Systematic construction of natural deduction systems for many-valued logics.  (pages 208-213)Matthias Baaz, Christian G. Fermüller & Richard Zach

Similar books and articles

Systematic construction of natural deduction systems for many-valued logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - In Proceedings of The Twenty-Third International Symposium on Multiple-Valued Logic, 1993. Los Alamitos, CA: IEEE Press. pp. 208-213.
Compact propositional Gödel logics.Matthias Baaz & Richard Zach - 1998 - In Baaz Matthias (ed.), 28th IEEE International Symposium on Multiple-Valued Logic, 1998. Proceedings. IEEE Press. pp. 108-113.
Proceedings of the 1974 International Symposium on Multiple-Valued Logic Morgantown, West Virginia, May 29, 30, 31, 1974.Ieee Computer Society & United States - 1974 - Ieeecs.
Proceedings of the 1975 International Symposium on Multiple-Valued Logic, Indiana University, Bloomington, Indiana, May 13-16, 1975.United States & Ford International Visitors Exchange - 1975 - Ieee Computer Society.
1975 International Symposium on Multiple-Valued Logic.[author unknown] - 1974 - Journal of Symbolic Logic 39 (3):624-624.
Some Notes From The Fifth Annual International Symposium On Multiple-valued Logic At Indiana University.George Epstein - 1975 - Bulletin of the Section of Logic 4 (3):125-130.
Proc. 44th International Symposium on Multiple-Valued Logic.Thomas Macaulay Ferguson - 2014 - IEEE Computer Society Press.
Dual Systems of Sequents and Tableaux for Many-Valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Bulletin of the EATCS 51:192-197.
Łukasiewicz Negation and Many-Valued Extensions of Constructive Logics.Thomas Macaulay Ferguson - 2014 - In Proc. 44th International Symposium on Multiple-Valued Logic. IEEE Computer Society Press. pp. 121-127.
1989 International Symposium on Multiple-Valued Logic.Lorenzo PeÑa - 1989 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 4 (2).
Labeled calculi and finite-valued logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach - 1998 - Studia Logica 61 (1):7-33.
Logic Programming: 10th International Symposium : Preprinted Papers and Abstracts.Dale Miller & Association for Logic Programming - 1993
On Rine's view of Boolean algebras.George Epstein - 1981 - Bulletin of the Section of Logic 10 (2):91-92.
Programming Language Implementation and Logic Programming: 5th International Symposium, Plilp '93, Tallinn, Estonia, August 25-27, 1993 : Proceedings.Maurice Bruynooghe & Jaan Penjam - 1993 - Springer Verlag.
Algorithmic logic. Multiple-valued extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.

Analytics

Added to PP
2017-08-13

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?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references