List of formal systems (
original
) (
raw
)
This is a list of formal systems, also known as logical calculi.