Logic

Propositional Logic | Internet Encyclopedia of Philosophy

• url: https://iep.utm.edu/propositional-logic-sentential-logic/

.

Natural Deduction | Internet Encyclopedia of Philosophy

• url: https://iep.utm.edu/natural-deduction/

.

Natural Deduction Systems in Logic (Stanford Encyclopedia of Philosophy)

• url: https://plato.stanford.edu/entries/natural-deduction/

.

Second-order and Higher-order Logic (Stanford Encyclopedia of Philosophy)

• url: https://plato.stanford.edu/entries/logic-higher-order/

.

Survey of Computability Logic

• url: http://www.csc.villanova.edu/%7Ejaparidz/CL/

.

Provability Logic (Stanford Encyclopedia of Philosophy)

• url: https://plato.stanford.edu/entries/logic-provability/

.

Intensional Logic (Stanford Encyclopedia of Philosophy)

• url: https://plato.stanford.edu/entries/logic-intensional/

.

The Herbrand Manifesto

• url: http://intrologic.stanford.edu/extras/manifesto.html

.

Self-verifying theories - Wikipedia

• url: https://en.wikipedia.org/wiki/Self-verifying_theories

.

Bernays--Schönfinkel class - Wikipedia

• url: https://en.wikipedia.org/wiki/Bernays%E2%80%93Sch%C3%B6nfinkel_class

.

Deflationary theory of truth - Wikipedia

• url: https://en.wikipedia.org/wiki/Deflationary_theory_of_truth

.

Are opinions considered sentences in logic? - Philosophy Stack Exchange

• url: https://philosophy.stackexchange.com/questions/106492/are-opinions-considered-sentences-in-logic

.

lo.logic - Metamathematics of buts - MathOverflow

• url: https://mathoverflow.net/questions/381620/metamathematics-of-buts

.

logic - What framework or tool solves the Barber Paradox? - Philosophy Stack Exchange

• url: https://philosophy.stackexchange.com/questions/106626/what-framework-or-tool-solves-the-barber-paradox

.

What assumptions and methodology do metaproofs of logic theorems use and employ? - MathOverflow

• url: http://mathoverflow.net/questions/8853/what-assumptions-and-methodology-do-metaproofs-of-logic-theorems-use-and-employ

.