Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 3 of 2750 results
Sort by: relevance publication year

Axiomatisation

BOOK CHAPTER published 6 July 1978 in Multiple-Conclusion Logic

https://doi.org/10.1017/cbo9780511565687.021 Actions

Preface

BOOK CHAPTER published 6 July 1978 in Multiple-Conclusion Logic

https://doi.org/10.1017/cbo9780511565687.001 Actions

On basic groups in partial many-valued logics

PROCEEDINGS ARTICLE published in Proceedings. The Nineteenth International Symposium on Multiple-Valued Logic

https://doi.org/10.1109/ismvl.1989.37797 Actions

Graph arguments

BOOK CHAPTER published 6 July 1978 in Multiple-Conclusion Logic

https://doi.org/10.1017/cbo9780511565687.009 Actions

Natural deduction

BOOK CHAPTER published 6 July 1978 in Multiple-Conclusion Logic

https://doi.org/10.1017/cbo9780511565687.022 Actions

Kneale proofs

BOOK CHAPTER published 6 July 1978 in Multiple-Conclusion Logic

https://doi.org/10.1017/cbo9780511565687.010 Actions

Single-conclusion calculi

BOOK CHAPTER published 6 July 1978 in Multiple-Conclusion Logic

https://doi.org/10.1017/cbo9780511565687.003 Actions

Multiple-valued Logics Based on Hazy Structures

JOURNAL ARTICLE published 1 January 2002 in Multiple-Valued Logic

Authors: GHEZELAYAGHE M.

https://doi.org/10.1080/10236620215304 Actions

Multiple-conclusion calculi

BOOK CHAPTER published 6 July 1978 in Multiple-Conclusion Logic

https://doi.org/10.1017/cbo9780511565687.004 Actions

Single-conclusion proofs

BOOK CHAPTER published 6 July 1978 in Multiple-Conclusion Logic

https://doi.org/10.1017/cbo9780511565687.013 Actions

Classical Gentzen-type methods in propositional many-valued logics

PROCEEDINGS ARTICLE published in Proceedings 31st IEEE International Symposium on Multiple-Valued Logic

Authors: A. Avron

https://doi.org/10.1109/ismvl.2001.924586 Actions

A Łukasiewicz—style Many-valued Similarity Reasoning. Review

BOOK CHAPTER published 2003 in Beyond Two: Theory and Applications of Multiple-Valued Logic

Authors: Esko Turunen

https://doi.org/10.1007/978-3-7908-1769-0_15 Actions

Efficient deduction in many-valued logics

PROCEEDINGS ARTICLE published in Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)

Authors: R. Hahnle

https://doi.org/10.1109/ismvl.1994.302195 Actions

Many-valuedness and uncertainty

PROCEEDINGS ARTICLE published in Proceedings 1997 27th International Symposium on Multiple- Valued Logic

Authors: E. Orlowska

https://doi.org/10.1109/ismvl.1997.601390 Actions

INTORUDUCTION TO SPECIAL ISSUE

JOURNAL ARTICLE published 1 January 2002 in Multiple-Valued Logic

Authors: LUCIEN HADDAD

https://doi.org/10.1080/10236620215295 Actions

Note on resolution approximation of many-valued logics

PROCEEDINGS ARTICLE published in Proceedings of the Twentieth International Symposium on Multiple-Valued Logic

Authors: Z. Stachniak

https://doi.org/10.1109/ismvl.1990.122622 Actions

Three-valued constructive logic and logic programs

PROCEEDINGS ARTICLE published in Proceedings 25th International Symposium on Multiple-Valued Logic

Authors: S. Akama

https://doi.org/10.1109/ismvl.1995.513543 Actions

Classical Gentzen-type Methods in Propositional Many-valued Logics

BOOK CHAPTER published 2003 in Beyond Two: Theory and Applications of Multiple-Valued Logic

Authors: Arnon Avron

https://doi.org/10.1007/978-3-7908-1769-0_5 Actions

Multiple-valued logic computation circuits using micro- and nanoelectronic devices

PROCEEDINGS ARTICLE published in [1993] Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic

Authors: L.J. Micheel | A.H. Taddiken | A.C. Seabaugh

https://doi.org/10.1109/ismvl.1993.289565 Actions

BCC-Algebras Inherited From Posets

JOURNAL ARTICLE published 1 January 2002 in Multiple-Valued Logic

Authors: RADOMÍR HALASˇ

https://doi.org/10.1080/10236620215290 Actions
Feedback: support@crossref.org