Area 51 » Gregory Nisbet

Here are some logical symbols for copying and pasting.

⇒→⊃⇔≡⟷¬∧·∨∥⊕⊻⊤⊥∀∃≔⊢⊨⊬⊭◇⌜⌝□⥽

I am a software engineer. I study math as a hobby.

Here are a few random things that I like:

• Tableau calculi
• Various plural logics
• Free logic
• Independence-friendly logic
• Interval arithmetic

Right now (2022), I am studying model theory on my own. I am reading the books

• Model Theory: An Introduction by David Marker
• A Shorter Model Theory by Wilfrid Hodges