Re: Request for Reference/Link to example of defining a theory/logic.

Hi C-B:

You seem to be pushing for the formalization of computation onto logic.
Do you know of any references/links/etc that would show how to
construct a new theory and the necessary and sufficient theorems to
emulate first-order logic, and other logics? Have you started this
yourself and, if so, encountered the same thing? LIke you posted
earlier, there is no reason to rein-invent the wheel, so I'd like to
leverage as much of current theory as possible.

.

Relevant Pages

  • Re: JSH: Math proofs
    ... There are formal systems of natural deduction. ... annoying formalization to use --- all those damn subproofs with their ... deduction is a name for a class of related *formal* logics in which ... "Destiny is a funny thing. ...
    (sci.math)
  • Re: axioms of mathematical logic
    ... informal set theory) set up your syntax for a formal first order ... semantics of whatever languages, logics, and theories you want. ... but now the meta-theory of that set theory is a formal ... sufficient to be satisfied that enough formalization has been done. ...
    (sci.logic)
  • Re: "Godel got it all wrong"
    ... The fact that logic is truth-preserving implies that *if* ... where Conis the formalization in T of the statement ... So if we believe T to be consistent, ... You can certainly develop many-valued logics with ...
    (sci.logic)
Loading