scientific article; zbMATH DE number 1556958

zbMath0967.03006MaRDI QIDQ4526731

Vladimir Sotirov

Publication date: 2 April 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

LeibnizarithmetizationAristotle's syllogisticarithmetized interpretationsLeibnizian semanticsScholastic semanticsset-theoretic interpretationsterm compositionterm negation

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: