Studia Logica

, Volume 50, Issue 2, pp 225–239 | Cite as

Logical feedback

  • David Booth


Just as non-well-founded sets extend the usual sets of ZF, so do root reflexive propositional formulas extends the usual class of Boolean expressions. Though infinitary, these formulas are generated by finite patterns. They possess transition functions instead of truth values and have applications in electric circuit theory.


Mathematical Logic Transition Function Electric Circuit Computational Linguistic Circuit Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    P.Aczel, Non-Well-Founded Sets, Center for the Study of Lang. and Information, Palo Alto, 1988.Google Scholar
  2. [2]
    J.Barwise, The Situation in Logic-IV: On the Model Theory of Common Knowledge, Center for the Study of Lang. an Information, Palo Alto, 1988.Google Scholar
  3. [3]
    J.Barwise and J.Etchemendy: The Liar: An Essay on Truth and Circularity, Oxford Univ. Press, New York, 1987.Google Scholar
  4. [4]
    D.Booth, Hereditarily Finite Finsler Sets, J1. Sym. Logic, to appear.Google Scholar
  5. [5]
    D.Dietmeyer, Logic Design of Digital Systems, Allyn and Bacon, Boston, 1971.Google Scholar
  6. [6]
    B.Elspas, The Theory of Autonomous Linear Sequential Networks, I.R.E. Trans. on Circuit Theory CT-6, (1959), pp. 45–60.Google Scholar
  7. [7]
    P.Finsler and G.Unger (ed.), Aufsatze zur Mengentehre, Wissenschaftliche Buchgesellschaft, Darmstadt, 1975.Google Scholar
  8. [8]
    P.Finsler, Über die Grundlegung der Mengenlehre I, Math. Zeitschrift 25 (1926), pp. 172–218.Google Scholar
  9. [9]
    D.A.Huffman, The Synthesis of Sequential Switching Circuits, J1. Franklin Inst., 257, (1954). pp. 161–303.Google Scholar
  10. [10]
    D.Mirimanoff, Les Antinomies de Russell et de Burali-Forti et le probleme foundemental de la theorie des ensembles, L'enseignment Math., 19 (1917), pp. 37–52.Google Scholar
  11. [11]
    J.P.Roth, Algebraic Topological Methods for the Synthesis of Switching Systems, Trans. A.M.S. 88, (1958), pp. 301–326.Google Scholar

Copyright information

© Polish Academy of Sciences 1991

Authors and Affiliations

  • David Booth
    • 1
  1. 1.Green Meadow Waldorf SchoolSpring Valley

Personalised recommendations