Propositional logic on the basis of an algebraic system containing traditional syllogistics

DOI10.20537/VM130213MaRDI QIDQ2932401zbMATH OpenOpenAlexFDO

Authors Yu. M. Smetanin

Publication date 1 December 2014

Published in Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki (Search for Journal in Brave)

Full work available at URL http://mathnet.ru/eng/vuu384

zbMATH Keywords

probabilityBoolean algebralogical equationssyllogisticscalculations of constituenthomomorphism of algebraic systemslogical sequence in semantic senseorthogonal basis of syllogistics

Mathematics Subject Classification ID

Classical propositional logic (03B05) Logical aspects of Boolean algebras (03G05)

Recommendations

• scientific article; zbMATH DE number 6131387
• Analysis of paradoxes of tangible implication in the orthogonal basis of syllogistics
• scientific article; zbMATH DE number 3878892
• scientific article; zbMATH DE number 3882411
• scientific article; zbMATH DE number 4014671

Cited in

(5)

• Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic
• Analysis of paradoxes of tangible implication in the orthogonal basis of syllogistics
• Logical operations and inference in the complex \(s\)-logic
• Powerful features of the modern syllogistic method of propositional logic
• Aristotelian logic axioms in propositional logic: the pouch method

This page was built for publication: Propositional logic on the basis of an algebraic system containing traditional syllogistics

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