Gw mau tau Pendekatan aljabar untuk kuantifikasi dari Kuantifer (logika)

Dimungkinkan untuk merancang aljabar abstrak yang modelnya mencakup bahasa formal dengan kuantifikasi, tetapi kemajuannya lambat dan minat pada aljabar terbatas. Tiga pendekatan dirancang saat ini:

Aljabar relasi, ditemukan oleh Augustus De Morgan, dan diterbitkan oleh Charles Sanders Peirce, Ernst Schröder, Alfred Tarski, dan siswa Tarski. Aljabar relasi tidak dapat merepresentasikan rumus dengan bilangan yang bersarang lebih dari tiga kedalaman. Anehnya, model aljabar relasi mencakup teori himpunan aksiomatik ZFC dan aritmetika Peano ;

Tabung aljabar, dibuat ditemukan Alfred Tarski, Leon Henkin, dan lainnya;

Aljabar poliadic dari Paul Halmos.