Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
The Word Problem for Finitely Presented Quandles is Undecidable Kapitel lesen Erstes Kapitel lesen

2015 | OriginalPaper | Buchkapitel

Equational Properties of Stratified Least Fixed Points (Extended Abstract)

verfasst von : Zoltán Ésik

Erschienen in: Logic, Language, Information, and Computation

Verlag: Springer Berlin Heidelberg

Einloggen

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

search-config
loading …

Abstract

Recently, a novel fixed point operation has been introduced over certain non-monotonic functions between ‘stratified complete lattices’ and used to give semantics to logic programs with negation and boolean context-free grammars. We prove that this new operation satisfies ‘the standard’ identities of fixed point operations as described by the axioms of iteration theories.

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Vorheriges Kapitel An Epistemic Separation Logic
Nächstes Kapitel The p-adic Integers as Final Coalgebra
Literatur
1.
Barr, M., Wells, C.: Category Theory for Computing Science, 2nd edn. Prentice Hall, London (1995)
2.
Bekić,H.: Definable operation in general algebras, and the theory of automata and flowcharts. IBM Technical report, Vienna, 1969. Reprinted. In: Programming Languages and Their Definition. LNCS, vol. 177, pp. 30–55. Springer, Heidelberg (1984)
3.
4.
Bloom, S.L., Ésik, Z.: Iteration Theories. The Equational Logic of Iterative Processes. EATCS Monographs in Theoretical Computer Science. Springer, Berlin (1993)MATH
5.
6.
Charalambidis, A., Ésik, Z., Rondogiannis, P.: Minimum model semantics for extensional higher-order logic programming with negation. Theory Pract. Logic Program. 14, 725–737 (2014)CrossRefMATH
7.
Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)CrossRefMATH
8.
Denecker, M., Marek, V.W., Truszczyński, M.: Approximations, stable operations, well-founded fixed points and applications in nonmonotonic reasoning. In: Minker, J. (ed.) Logic-Based Artificial Intelligence, pp. 127–144. Kluwer, Boston (2000)CrossRef
9.
Denecker, M., Marek, V.W., Truszczyński, M.: Ultimate approximation and its applications in nonmonotonic knowledge representation systems. Inf. Comput. 192, 21–84 (2004)CrossRef
10.
Elgot, C.C.: Monadic computation and iterative algebraic theories. In: Rose, H.E., Shepherdson, J.C. (eds.) Logic Colloquium 1973, Studies in Logic and the Foundations of Mathematics, vol. 80, pp. 175–230. North Holand, Amsterdam (1975)
11.
Ésik, Z.: Identities in iterative and rational algebraic theories. Comput. Linguist. Comput. Lang. XIV, 183–207 (1980)
12.
13.
14.
15.
Ésik, Z.: Equational axioms associated with finite automata for fixed point operations in cartesian categories. Mathematical Structures in Computer Science (to appear) (see also arXiv:​1501.​02190)
16.
17.
Ésik, Z., Labella, A.: Equational properties of iteration in algebraically complete categories. Theoret. Comput. Sci. 195, 61–89 (1998)CrossRefMathSciNetMATH
18.
Ésik, Z., Rondogiannis, P.: A fixed-point theorem for non-monotonic functions. Theoretical Computer Science (to appear) (see also: arXiv:​1402.​0299)
19.
Ésik, Z., Rondogiannis, P.: Theorems on pre-fixed points of non-monotonic functions with applications in logic programming and formal grammars. In: Kohlenbach, U., Barceló, P., de Queiroz, R. (eds.) WoLLIC. LNCS, vol. 8652, pp. 166–180. Springer, Heidelberg (2014)
20.
21.
van Gelder, A.V.: The alternating fixpoint of logic programs with negation. J. Comput. Syst. Sci. 47, 185–221 (1993)CrossRefMATH
22.
Przymusinski, T.C.: Every logic program has a natural stratification and an iterated least fixed point model. In: Proceedings of Eight ACM Symposium. Principles of Database Systems, pp.11–21 (1989)
23.
Rondogiannis, R., Wadge, W.W.: Minimum model semantics for logic programs with negation. ACM Trans. Comput. Logic 6, 441–467 (2005)CrossRefMathSciNet
24.
Scott, D., De Bakker, J.W.: A theory of programs. IBM Technical report, Vienna (1969)
25.
Simpson, A.K., Plotkin, G.D.: Complete axioms for categorical fixed-point operators. In: Proceedings of 15th Annual IEEE Symposium on Logic in Computer Science, LICS 2000, pp. 30–41. IEEE (2000)
26.
27.
van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. J. Assoc. Comput. Mach. 23, 733–742 (1976)CrossRefMathSciNetMATH
28.
Vennekens, J., Gilis, D., Denecker, M.: Splitting an operation: algebraic modularity results for logics with fixed point semantics. ACM Trans. Comput. Logic 7, 765–797 (2006)CrossRefMathSciNet
29.
Wright, J.B., Thatcher, J.W., Wagner, E.G., Goguen, J.A.: Rational algebraic theories and fixed-point solutions. In: 17th Annual Symposium on Foundations of Computer Science, FOCS 1976, pp. 147–158. IEEE Press (1976)
Metadaten
Titel
Equational Properties of Stratified Least Fixed Points (Extended Abstract)
verfasst von
Zoltán Ésik
Copyright-Jahr
2015
Verlag
Springer Berlin Heidelberg
Buch
Logic, Language, Information, and Computation

Print ISBN: 978-3-662-47708-3

Electronic ISBN: 978-3-662-47709-0

Copyright-Jahr: 2015

DOI
https://doi.org/10.1007/978-3-662-47709-0_13

Premium Partner

    Bildnachweise