Multi-Valued Logics Introducing Propositional Multi-Valued Logics with the Help of a CAS

Eugenio Roanes–Lozano

doi:10.1007/978-1-4613-0297-1_20

ScienceGate Book Chapters

BOOK-CHAPTER

Multi-Valued Logics Introducing Propositional Multi-Valued Logics with the Help of a CAS

Eugenio Roanes–Lozano

Year: 1999 International Society for Analysis, Applications and Computation Pages: 277-290 Publisher: Springer Nature

DOI: 10.1007/978-1-4613-0297-1_20

Get Full-Text PDF Get Analytical Report

Keywords:

T-norm fuzzy logics Propositional variable Monoidal t-norm logic Computer science Mathematics Calculus (dental) Theoretical computer science Intermediate logic Artificial intelligence Medicine Description logic

Metrics

Cited By

0.71

FWCI (Field Weighted Citation Impact)

Refs

0.65

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Logic, Reasoning, and Knowledge

Physical Sciences → Computer Science → Artificial Intelligence

Advanced Algebra and Logic

Physical Sciences → Computer Science → Computational Theory and Mathematics

Multi-Valued Logics Introducing Propositional Multi-Valued Logics with the Help of a CAS

Metrics

Citation History

Topics

Related Documents

Multi-Valued Logics

Multi-Valued Logics

Lattice-Valued Propositional Logics

Three-Valued Paraconsistent Propositional Logics

Model Checking with Multi-valued Logics