Logical squares for classical logic sentences

DOI10.1007/S11787-016-0148-XzbMATH Open1396.03007DBLPjournals/lu/Wybraniec-Skardowska16OpenAlexW2345009590WikidataQ59472215 ScholiaQ59472215MaRDI QIDQ346765FDOQ346765

Authors: Urszula Wybraniec-Skardowska 

Publication date: 30 November 2016

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

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

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

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)

Cites Work

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

Cited In (14)

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

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)