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

Paraconsistency and Dialetheism

BOOK CHAPTER published 2007 in The Many Valued and Nonmonotonic Turn in Logic

Authors: Graham Priest

https://doi.org/10.1016/s1874-5857(07)80006-9 Actions

Many-valued computational logics

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

Authors: Z. Stachniak

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

Universes of fuzzy sets - a short survey

PROCEEDINGS ARTICLE published in 33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings.

Authors: S. Gottwald

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

First-Order Predicate Calculus for Many-Valued Logics

BOOK CHAPTER published 1992 in Many-Valued Logics

Authors: Leonard Bolc | Piotr Borowik

https://doi.org/10.1007/978-3-662-08494-6_6 Actions

Preface

BOOK CHAPTER published 2007 in The Many Valued and Nonmonotonic Turn in Logic

Authors: Dov M. Gabbay | John Woods

https://doi.org/10.1016/s1874-5857(07)80002-1 Actions

Free Logics

BOOK CHAPTER published 2007 in The Many Valued and Nonmonotonic Turn in Logic

Authors: Carl J. Posy

https://doi.org/10.1016/s1874-5857(07)80013-6 Actions

Preservationism: a Short History

BOOK CHAPTER published 2007 in The Many Valued and Nonmonotonic Turn in Logic

Authors: Bryson Brown

https://doi.org/10.1016/s1874-5857(07)80005-7 Actions

Classification of the Maximal Clones of Two-Valued Logic

JOURNAL ARTICLE published 1 January 2002 in Multiple-Valued Logic

Authors: PEDRO ACEVEDO CONTLA | IVAN STOJMENOVIC´

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

The History of Quantum Logic

BOOK CHAPTER published 2007 in The Many Valued and Nonmonotonic Turn in Logic

Authors: Maria Luisa Dalla Chiara | Roberto Giuntini | Miklos Rédei

https://doi.org/10.1016/s1874-5857(07)80007-0 Actions

On spectra of many-valued logic symmetric functions

PROCEEDINGS ARTICLE published 1988 in [1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic

Authors: I. Stojmenovic | M. Miyakawa | R. Tosic

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

Nonmonotonic Logics: a Preferential Approach

BOOK CHAPTER published 2007 in The Many Valued and Nonmonotonic Turn in Logic

Authors: Karl Schlechta

https://doi.org/10.1016/s1874-5857(07)80010-0 Actions

Probabilistic and truth-functional many-valued logic programming

PROCEEDINGS ARTICLE published in Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329)

Authors: T. Lukasiewicz

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

Many-valuedness

BOOK CHAPTER published 16 December 1993 in Many-Valued Logics

Authors: Grzegorz Malinowski

https://doi.org/10.1093/oso/9780198537878.003.0005 Actions

Łukasiewicz ∞-valued calculus

BOOK CHAPTER published 2000 in Algebraic Foundations of Many-Valued Reasoning

Authors: Roberto L. O. Cignoli | Itala M. L. D’Ottaviano | Daniele Mundici

https://doi.org/10.1007/978-94-015-9480-6_5 Actions

Completeness criteria in many-valued set logic under compositions with Boolean functions

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

Authors: I. Stojmenovic

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

An Inductive Construction for Many-Valued Coalgebraic Modal Logic

PROCEEDINGS ARTICLE published May 2023 in 2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL)

Authors: Chun-Yu Lin | Churn-Jung Liau

https://doi.org/10.1109/ismvl57333.2023.00018 Actions

Tutorial: Complexity of many-valued logics

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

Authors: R. Hahnle

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

Proceedings 31st IEEE International Symposium on Multiple-Valued Logic

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

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

Topologies on M-Valued Sets

BOOK CHAPTER published 2001 in Many Valued Topology and its Applications

Authors: Ulrich Höhle

https://doi.org/10.1007/978-1-4615-1617-0_11 Actions

Classification of Three-Valued Logical Functions

JOURNAL ARTICLE published 1 January 2002 in Multiple-Valued Logic

Authors: MASAHIRO MIYAKAWA

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