Multi-valued Logics, Effectiveness and Domains

DOI10.1007/978-3-540-73001-9_35zbMath1151.03325OpenAlexW1555859723MaRDI QIDQ5425335

Giangiacomo Gerla

Publication date: 13 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73001-9_35

zbMATH Keywords

Fuzzy logicComputabilityChurch ThesisMulti-valued logicDomain theoryFuzzy grammarFuzzy Turing Machine

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Grammars and rewriting systems (68Q42) Continuous lattices and posets, applications (06B35) Many-valued logic (03B50) Turing machines and related notions (03D10) Theory of numerations, effectively presented structures (03D45)

Related Items (3)

Vagueness and Formal Fuzzy Logic: Some Criticisms ⋮ Automata theory based on complete residuated lattice-valued logic: Turing machines ⋮ Comments on some theories of fuzzy computation

This page was built for publication: Multi-valued Logics, Effectiveness and Domains