scientific article; zbMATH DE number 1778923

zbMath1001.03510MaRDI QIDQ4544206

Vladimir Il'Ich Markin

Publication date: 27 October 2002

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

zbMATH Keywords

predicate calculuspropositional calculuspositive fragmentpositive syllogistic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: