scientific article; zbMATH DE number 1778923

MaRDI QIDQ4544206zbMATH OpenFDO

Authors Vladimir I. Markin

Publication date 27 October 2002

zbMATH Keywords

predicate calculuspropositional calculuspositive fragmentpositive syllogistic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2209827
• Positive syllogistic \({\mathbf {C3}}^+\) with a completeness constant
• Силлогистика как логика всех отношений между двумя непустыми множествами
• Singular extensions of Łukasiewicz syllogistic
• Syllogistic theory as logic of anti-extensions of terms

Cited in

(22)

• scientific article; zbMATH DE number 3323812 (Why is no real title available?)
• Traditional syllogistic with negative terms
• Singular extensions of Łukasiewicz syllogistic
• A system of relational syllogistic incorporating full Boolean reasoning
• Extended syllogistics in calculus \(CL\)
• The Hamiltonian syllogistic
• A generalized syllogistic inference system based on inclusion and exclusion relations
• The structure of generalized intermediate syllogisms
• scientific article; zbMATH DE number 1975403 (Why is no real title available?)
• scientific article; zbMATH DE number 6994140 (Why is no real title available?)
• A formal theory of generalized intermediate syllogisms
• scientific article; zbMATH DE number 2019917 (Why is no real title available?)
• Aristotelian syllogisms and generalized quantifiers
• Positive syllogistic \({\mathbf {C3}}^+\) with a completeness constant
• Syllogistic theory as logic of anti-extensions of terms
• Lewis Carroll's syllogistic with negative terms
• scientific article; zbMATH DE number 3837988 (Why is no real title available?)
• scientific article; zbMATH DE number 4016856 (Why is no real title available?)
• Силлогистика как логика всех отношений между двумя непустыми множествами
• Positive logics
• A matricial vue of classical syllogistic and an extension of the rules of valid syllogism to rules of conclusive syllogisms with indefinite terms
• Higher-order syllogistics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4544206)