Creating a second order diagrammatic logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6170 LNAI, Issue , 2010, Pages 298-300

  Chapman, Peter ^a   Stapleton, Gem ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DIAGRAMMATIC LOGIC; FIRST ORDER; SECOND ORDERS;

FORMAL LOGIC; COMPUTER CIRCUITS;

RECONFIGURABLE HARDWARE;

EID: 77955818616     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14600-8_34     Document Type: Conference Paper

References (8)

1. Dau, F., Ekland, P.: A diagrammatic reasoning system for the description logic ACL. Journal of Visual Languages and Computing 19(5), 539-573 (2008)
2. Delaney, A., Taylor, J., Thompson, S.: Spider diagrams of order and a hierarchy of star-free regular languages. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. LNCS (LNAI), vol. 5223, pp. 172-187. Springer, Heidelberg (2008)
3. Howse, J., Stapleton, G., Taylor, J.: Spider diagrams. LMS Journal of Computation and Mathematics 8, 145-194 (2005)
4. Kent, S.: Constraint diagrams: Visualizing invariants in object oriented modelling. In: Proceedings of OOPSLA 1997, pp. 327-341. ACM Press, New York (1997)
5. Shin, S.-J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)
6. Stapleton, G., Masthoff, J.: Incorporating negation into visual logics: A case study using Euler diagrams. In: Visual Languages and Computing 2007, pp. 187-194. Knowledge Systems Institute (2007)
7. Swoboda, N., Allwein, G.: Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. Journal on Software and System Modeling 3(2), 136-149 (2004)
8. Thomas, W.: Classifying regular events in symbolic logic. Journal of Computer and System Sciences 25, 360-376 (1982)