Skip to Main Content
Log In or Out
Skip to Search

springer.com springerprotocols.com Choose preferred language

SpringerLink

You have Guest access.

What can I do as a guest?

Search

Basic Search Search For All Content

Author or Editor Publication Volume Issue Page

Advanced Search

Content

Search For

Full Text Title & Abstract Title Only

DOI

Author

Editor

Citation

Publication (Title, DOI, ISSN, ISBN)

Volume

Issue

Page

Category and Date Limiters

Content Category

Entire Range of Publication Dates

Select date range Publication Dates Between Start DateANDEnd Date

Order of Results Most Relevant First Most Recently Published First Alphabetical

Share this item
- email
- citeulike
- Connotea
- Delicious
citeulike

Computer Science

Natural Language and Logic

Lecture Notes in Computer Science, 1990, Volume 459/1990, 206-220, DOI: 10.1007/3-540-53082-7_24

Perspectives in multiple-valued logic

Peter H. Schmitt

View Related Documents

Book Chapter
Towards an efficient tableau proof procedure for multiple-valued logics
Reiner Hähnle
Lecture Notes in Computer Science, 1991, Volume 533, Computer Science Logic, Pages 248-260
- Download PDF (772.7 KB)
Book Chapter
Deductive aspects of three-valued logic
P. H. Schmitt
Lecture Notes in Computer Science, 1991, Volume 546, Text Understanding in LILOG, Pages 394-401
- Download PDF (415.0 KB)
Book Chapter
Mechanising partiality without re-implementation
Manfred Kerber and Michael Kohlhase
Lecture Notes in Computer Science, 1997, Volume 1303, KI-97: Advances in Artificial Intelligence, Pages 123-134
- Download PDF (998.7 KB)
Book Chapter
Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
Gernot Salzer
Lecture Notes in Computer Science, 1996, Volume 1104, Automated Deduction — Cade-13, Pages 688-702
- Download PDF (899.3 KB)
Book Chapter
Signed formulas: A liftable meta-logic for multiple-valued logics
Neil V. Murray and Erik Rosenthal
Lecture Notes in Computer Science, 1993, Volume 689, Methodologies for Intelligent Systems, Pages 275-284
- Download PDF (645.9 KB)
Book Chapter
Combining many-valued and intuitionistic tableaux
Matthias Baaz and Christian G. Fermüller
Lecture Notes in Computer Science, 1996, Volume 1071, Theorem Proving with Analytic Tableaux and Related Methods, Pages 65-79
- Download PDF (787.3 KB)
Book Chapter
Many-Valuation, Modality, and Fuzziness
Jorma K. Mattila
Studies in Fuzziness and Soft Computing, 2009, Volume 243, Views on Fuzzy Sets and Systems from Different Perspectives, Pages 271-300
- Download PDF (377.9 KB)
Journal Article
Formal Axiomatic Theories Based on a Three-Valued Logic
I. D. Zaslavsky
Journal of Mathematical Sciences, 2005, Volume 130, Number 2, Pages 4578-4597
- Download PDF (476.7 KB)
Book Chapter
Reasoning with higher order partial functions
A. Gavilanes-Franco, F. Lucio-Carrasco and M. Rodríguez-Artalejo
Lecture Notes in Computer Science, 1993, Volume 702, Computer Science Logic, Pages 167-181
- Download PDF (929.7 KB)
Book Chapter
MUltlog 1.0: Towards an expert system for many-valued logics
Matthias Baaz, Christian G. Fermüller, Gernot Salzer and Richard Zach
Lecture Notes in Computer Science, 1996, Volume 1104, Automated Deduction — Cade-13, Pages 226-230
- Download PDF (281.3 KB)

Advertisment

Abstract

Fulltext Preview

Image of the first page of the fulltext document

Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us

© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info