Logical specifications as productions for transformation of program graphs

Bulletin of Symbolic Logic 6 (1):133-134 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Notes on the stable regularity lemma.M. Malliaris & S. Shelah - 2021 - Bulletin of Symbolic Logic 27 (4):415-425.
REVIEWS-Three papers on infinite graphs.Peter Komjath - 2001 - Bulletin of Symbolic Logic 7 (4):539-540.
Quine W. V.. A reinterpretation of Schönfinkel's logical operators. Bulletin of the American Mathematical Society, vol. 42 , pp. 87–89. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (1):42-43.
Peirce's Logical Graphs for Boolean Algebras and Distributive Lattices.Minghui Ma - 2018 - Transactions of the Charles S. Peirce Society 54 (3):320.
Post-Hilbertian Program and Its Post-Gödelian Stumbling-Block. Part II: Logical, Phenomenological, and Philosophical Limits of the Set-theoretical Quest for Mathematical Infinity.Edward G. Belaga - 2001 - Bulletin of Symbolic Logic 7 (1):2000.
Review: Jaroslav Sedivy, Solution of Simple Logical Problems by Colouring Graphs. [REVIEW]Gerald Standley - 1973 - Journal of Symbolic Logic 38 (1):150-150.
“Setting” n-Opposition.Régis Pellissier - 2008 - Logica Universalis 2 (2):235-263.
Rashevsky N.. Mathematical biophysics of abstraction and logical thinking. The bulletin of mathematical biophysics, vol. 7 , pp. 133–148.Rashevsky N.. Some remarks on the Boolean algebra of nervous nets in mathematical biophysics. The bulletin of mathematical biophysics, vol. 7 , pp. 203–211.Rashevsky N.. The neural mechanism of logical thinking. The bulletin of mathematical biophysics, vol. 8 , pp. 29–40.Burks Arthur W.. Laws of nature and reasonableness of regret. Mind, n.s. vol. 55 , pp. 170–172. [REVIEW]Charles A. Baylis - 1946 - Journal of Symbolic Logic 11 (3):99-100.
Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings.John P. Gallagher - 1997 - Springer Verlag.

Analytics

Added to PP
2014-01-19

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references