Automata theory based on complete residuated lattice-valued logic: a categorical approach (Q1040923)

From MaRDI portal





scientific article; zbMATH DE number 5639613
Language Label Description Also known as
default for all languages
No label defined
    English
    Automata theory based on complete residuated lattice-valued logic: a categorical approach
    scientific article; zbMATH DE number 5639613

      Statements

      Automata theory based on complete residuated lattice-valued logic: a categorical approach (English)
      0 references
      0 references
      0 references
      27 November 2009
      0 references
      category
      0 references
      automata
      0 references
      non-classical logic
      0 references
      \(L\)-valued automata
      0 references
      non-deterministic automata
      0 references

      Identifiers