The Algebra of Opposition (and Universal Logic Interpretations)

DOI10.1007/978-3-319-10193-4_6zbMath1376.03016OpenAlexW26875532MaRDI QIDQ5258966

Răzvan Diaconescu

Publication date: 24 June 2015

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10193-4_6

zbMATH Keywords

consistencylattice theorymany-valued logicsquare of oppositionconsequenceuniversal logic

Mathematics Subject Classification ID

Structure theory of lattices (06B05) Many-valued logic (03B50) Abstract deductive systems (03B22)

Related Items (2)

Metalogical decorations of logical diagrams ⋮ Aristotelian diagrams for semantic and syntactic consequence

Cites Work

• Monadic extensions of institutions
• Around and beyond the square of opposition
• Universal logic: An anthology. From Paul Hertz to Dov Gabbay
• Graded consequence: an institution theoretic study
• Adding a temporal dimension to a logic system
• Ultraproducts and possible worlds semantics in institutions
• Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal
• Hybridization of Institutions
• On Fuzzy Logic I Many‐valued rules of inference
• Classical negation can be expressed by one of its halves
• Institutions: abstract model theory for specification and programming
• Graded consequence: further studies
• Unnamed Item
• Unnamed Item

This page was built for publication: The Algebra of Opposition (and Universal Logic Interpretations)