jaj•a•person's notes

Tag: m/def/logic

4 items with this tag.

  • Admissible rule

    • public
    • m/def/logic
    • state/tidy
    • lang/en
    • SemBr
  • Formal language

    • public
    • m/def/logic
    • state/develop
    • lang/en
    • SemBr
  • Formal system

    • public
    • m/def/logic
    • state/tidy
    • lang/en
    • SemBr
  • Formal theory

    • public
    • m/def/logic
    • state/develop
    • lang/en
    • SemBr

Created with Quartz v4.5.2 © 2026