Logical squares for classical logic sentences

DOI10.1007/S11787-016-0148-XMaRDI QIDQ346765zbMATHOpenAlexDBLPWikidataFDO

Authors Urszula Wybraniec-Skardowska

Publication date 30 November 2016

Published in Logica Universalis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11787-016-0148-x

zbMATH Keywords

square of oppositionclassical propositional connectiveshexagon of oppositionoctagon of oppositionoctahedron of oppositiontautology of classical logictruth-value table

Mathematics Subject Classification ID

Classical propositional logic (03B05) Logic of natural languages (03B65)

Recommendations

• Classical logic with indeterminate sentences
• Squares in fork arrow logic
• Logical extensions of Aristotle's square
• Squares of modal logics with additional connectives
• The square of opposition in orthomodular logic
• A logic for qualified syllogisms
• A square of oppositions in intuitionistic logic with strong negation
• The square of opposition and generalized quantifiers
• scientific article; zbMATH DE number 549806
• Axiomatization of modal logic squares with distinguished diagonal

Cites work

• Foundations for the formalization of metamathematics and axiomatizations of consequence theories
• From Blanché's hexagonal organization of concepts to formal concept analysis and possibility theory
• Logical extensions of Aristotle's square
• Logical geometries and information in the square of oppositions
• On pairs of dual consequence operations
• On the 3D visualisation of logical relations
• Sur la structuration du tableau des connectifs interpropositionnels binaires
• The power of the hexagon
• The theory of quaternialty
• Why the logical hexagon?

Cited in

(15)

• scientific article; zbMATH DE number 3885855 (Why is no real title available?)
• The square of opposition in orthomodular logic
• Applications of squares of oppositions and their generalizations in philosophical analysis
• The medieval octagon of opposition for sentences with quantified predicates
• The Lvov-Warsaw school: a true mythology
• Weakened semantics and the traditional square of opposition
• Between Square and Hexagon in Oresme's Livre du Ciel et du Monde
• Two squares of opposition: for analytic and synthetic propositions
• Logical polygon for propositions about relations: rules of constructing and application
• Two concepts of opposition, multiple squares
• A classified study on relationship words based on SHIQ DL
• Is the principle of contradiction a consequence of \(x^2=x\)?
• Standard sentence logic as graphs
• The Vatican square
• Non-traditional squares of predication and quantification

This page was built for publication: Logical squares for classical logic sentences

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