Advanced Many-Valued Logics

2001/01/01 by Reiner Hähnle · 1 citation
Computer Science · Engineering · Mathematics · #Adjective #Advanced Algebra and Logic #Artificial intelligence #Completeness (order theory) #Computer science #Cover (algebra) #Engineering #Epistemology #Linguistics #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Noun #Order (exchange) #Philosophy

paper · doi:10.1007/978-94-017-0452-6_5

crossref issued 2001/01/01 · crossref published 2001/01/01 · crossref published-print 2001/01/01 · openalex publication_date 2001/01/01 · crossref created 2012/12/31 · crossref deposited 2025/04/29 · openalex created_date 2025/10/10 · crossref indexed 2026/04/30 · openalex updated_date 2026/08/04

Citations

• Interpretation of AF C∗-algebras in Łukasiewicz sentential calculus
• Binary Decision Diagrams
• On the Complexity of Timetable and Multicommodity Flow Problems
• On the calculus of relations
• Algebraic analysis of many valued logics
• Ordered chaining calculi for first-order theories of transitive relations
• Untersuchungen �ber das logische Schlie�en. I
• A symbolic analysis of relay and switching circuits
• Graph-Based Algorithms for Boolean Function Manipulation
• The liar paradox and fuzzy logic
• Linear logic
• Untersuchungen �ber das logische Schlie�en. II

Cited by

• 2-satisfiability [wikipedia]