Mixing colors, mixing logics

DOI10.1007/978-3-031-15146-0_5zbMath1524.03026OpenAlexW4294837858MaRDI QIDQ6108743

J. Martín Castro-Manzano

Publication date: 26 July 2023

Published in: Diagrammatic Representation and Inference (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-15146-0_5

zbMATH Keywords

tableauxterm logiccombining logics

Mathematics Subject Classification ID

Combined logics (03B62)

Cites Work

• Unnamed Item
• Why combine logics?
• Murphree's numerical term logic tableaux
• Numerical term logic

This page was built for publication: Mixing colors, mixing logics