``Logical lanter: analogue of the square of opposition for propositions in V.I. Markin's universal language for traditional positive syllogistic theories

DOI10.1007/s11787-024-00351-5MaRDI QIDQ6621365

Oksana Viktorovna Cherkashina

Publication date: 18 October 2024

Published in: Logica Universalis (Search for Journal in Brave)

zbMATH Keywords

square of oppositionuniversal language\(n\)-place predicategeometry in logiclogical polygonpropositions about relationssyllogistic theories\(n\)-place Aristotelian relation\(n\)-place relationsAristotelian relationBlanche hexagondiagrams in logicexhaustive contrarietyexhaustive subcontrarietylogical lanterntraditional positive syllogistic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Foundations of classical theories (including reverse mathematics) (03B30) General logic (03B99)

This page was built for publication: ``Logical lanter: analogue of the square of opposition for propositions in V.I. Markin's universal language for traditional positive syllogistic theories