prototetika

Matematika / Jazykověda

[Protetyka, řečtina], podle S. Lešniewského systém (spolu s ontologií a mereologií), jehož jazyk obsahuje výrazy kategorií výroků i výrokotvorných funktorů. Je různým způsobem axiomatizovatelný na různých primitivních termínech a zahrnuje výrokový počet i jeho rozšíření kvantifikátory. Na protetiku navazuje Lešniewského ontologie jakožto kalkul tříd a relací.

Vytvořeno: 14. 3. 2000
Aktualizováno: 6. 4. 2024
Autor: -red-