Stanisław Leśniewski

Obra seminal en lógica matemática, Leśniewski desarrolla un sistema formal de lógica basado en la teoría de categorías y merceología (teoría de partes y totalidades), buscando un rigor extremo en la fundamentación de las matemáticas.

Una serie de artículos que presentan los tres sistemas lógicos de Leśniewski: la Prototética (una lógica proposicional sin axiomas), la Ontología (una teoría de nombres) y la Mereología (una teoría de las partes y los todos), diseñados para unificar la lógica y la construcción de la teoría de conjuntos.

Una recopilación de los trabajos del lógico polaco Stanisław Leśniewski, explorando sus sistemas formales de ontología, mereología y prototética, que ofrecen alternativas heterodoxas a la teoría de conjuntos estándar y la lógica predicativa.

Una serie de escritos que desarrollan sistemas lógicos alternativos, como la mereología, que estudian la teoría de las partes y el todo, y los fundamentos de las matemáticas desde una nueva perspectiva.

Leśniewski, también parte de la Escuela de Lwów-Varsovia, desarrolló sistemas lógicos propios, como la Mereología y la Ontología, que buscaban una formalización ultra-rigurosa del lenguaje y las relaciones entre entidades, abordando la lógica desde una perspectiva constructivista.

Una colección de trabajos del pionero lógico polaco Stanisław Leśniewski, que introduce sus sistemas innovadores de mereología, ontología y prototética.

Una colección de ensayos que presentan la creación de tres sistemas lógicos formales originales: prototética, ontología y mereología, concebidos como una base unificada para toda la matemática.