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í.
Datum vytvoření: 14. 3. 2000
Datum aktualizace: 6. 4. 2024
Autor: -red-