Tanıtlama teorisi

Tanıtlama teorisi matematiksel mantığın bir alt dalıdır ve tanıtları formel  matematiksel nesneler olarak ele alarak matematiksel tekniklerle analiz edilmelerine olanak sağlar. Tanıtlar genelde tümevarımsal olarak tanımlanmış veri yapıları, örneğin listeler ve ağaçlar şeklinde gösterilir. Bu veri yapıları, esas alınan mantık sisteminin aksiyomlarına ve çıkarım kurallarına göre oluşturulur. Tanıtlama teorisinin doğası sözdizimseldir. Buna karşın model teorisinin doğası anlambilimseldir.

Tanıtlama teorisi felsefecilerin de ilgili alanına girmekte, felsefi mantığın bir alt dalı olarak anlambilimsel araştırmaların konusu olmaktadır.

Matematiksel mantık