A Tool for Analysing Logics

DOI10.1016/j.entcs.2011.03.010zbMath1347.03111OpenAlexW2042671512WikidataQ113318274 ScholiaQ113318274MaRDI QIDQ5179016

Sheila R. M. Veloso, Paula M. Veloso, Paulo A. S. Veloso

Publication date: 18 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.03.010

zbMATH Keywords

groupstransformationshomomorphismmonoidslogicinterpretation

Mathematics Subject Classification ID

Algebraic logic (03G99) General logic (03B99)

Related Items

Logical geometries and information in the square of oppositions

Cites Work

• Logic and structure.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item