Infinitary Logic
Home
>
Mathematics
>
Mathematical Logic
>
Non-classical Logics
>
Infinitary Logic
This extends first-order logic by allowing infinite premises and conclusions.