List questions from metalogic | MathQA

Is this a valid way to prove the soundness of an inference rule in propositional logic?

Published on 16 Apr 2026 - 20:32

Is this style of proof clear and readable?

Published on 08 Apr 2026 - 20:42

What is the link between interpretability hierarchy and consistency strength

Published on 12 Apr 2026 - 2:48

What types of axioms retain consistency of ZFC under additional axioms about its consistency?

Published on 08 Apr 2026 - 13:49

Logical consequence (⊨ and ⊢) — A statement? A judgement? A meta-statement?

Published on 11 Apr 2026 - 9:45

Are soundness and completeness a part of proof theory, model theory or something else?

Published on 14 Apr 2026 - 13:04

Questions on metalogic and consistency

Published on 12 Apr 2026 - 15:09

Are there infinitely many metalogics?

Published on 11 Apr 2026 - 3:09

Other important results of class/set distinction?

Published on 14 Apr 2026 - 2:09

What if the metatheory is itself intuitionistic?

Published on 12 Apr 2026 - 10:32

Logical systems that are only weakly sound / weakly complete?

Published on 13 Apr 2026 - 19:34