I want to describe a hierarchy of infinitary logics, and show some properties of one of these logics in particular. First, a speedy review of first order logic. In the language of first order logic we have access to parentheses {(, )}, the propositional connectives {∧, ∨, ¬, →}, the equals sign {=}, quantifiers {∀, … Continue reading Hilbert-type Infinitary Logics
