Skip to main content

2019 | OriginalPaper | Buchkapitel

8. p-Adic Valued Logic

verfasst von : Andrew Schumann, Krzysztof Pancerz

Erschienen in: High-Level Models of Unconventional Computations

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

To implement arithmetic circuits on plasmodia we face the problem that the plasmodium is propagated in many directions simultaneously in accordance with stimuli and their topology. So, to manage this behaviour we need to limit possible ways of propagation by a number \(p-1\) of attractants for each original point of the plasmodium and for each next step of its transitions.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Logical operations over formulas \(\forall \varphi (\varphi )\), \(\exists \varphi (\varphi )\), \( \exists \varphi (\lnot \varphi )\), \(\forall \varphi (\lnot \varphi )\) of the second-order logic are closed for the set of truth values 0, 1, 2, 3, therefore any logical operation over the expressions \(\ulcorner \forall \varphi (\varphi )\urcorner \), \(\ulcorner \exists \varphi (\varphi )\urcorner \), \(\ulcorner \exists \varphi (\lnot \varphi )\urcorner \), \(\ulcorner \forall \varphi (\lnot \varphi )\urcorner \) is equivalent to one of them.
 
2
In the case of 2-adic valued logic we have only two degrees: 0 and 1. The expression “\(v_1(\varphi _1)\) holds for all valuations with the degree 0” means that \(\varphi _1\) is a contradiction. The expression “\(v_1(\varphi _1)\) holds for all valuations with the degree 1” means that \(\varphi _1\) is a tautology. The expression “\(v_{i-1}(\varphi _{i-1})\) holds for all valuations with the degree 0” means that \(\varphi _{i-1}\) is a contradiction. The expression “\(v_{i-1}(\varphi _{i-1})\) holds for all valuations with the degree 1” means that \(\varphi _{i-1}\) is a tautology.
 
Metadaten
Titel
p-Adic Valued Logic
verfasst von
Andrew Schumann
Krzysztof Pancerz
Copyright-Jahr
2019
DOI
https://doi.org/10.1007/978-3-319-91773-3_8