Creating a second order diagrammatic logic

CHAPMAN, PETER and STAPLETON, GEM (2010) Creating a second order diagrammatic logic In: 6th International Conference on the Theory and Application of Diagrams, 9-11 August 2010, Portland, OR, USA.

Full text not available from this repository.

Abstract

Many of the formal diagrammatic logics that have been developed are limited to be first order (typically monadic). This means that such logics cannot define commonly occurring concepts and, thus, are not as widely applicable as we might like. Suitably increasing their expressiveness will allow both the formalization of second order concepts and the study of such concepts from a new perspective. Our aim is to produce a second order diagrammatic logic and we present the initial ideas towards the development of such a logic.

Item Type: Contribution to conference proceedings in the public domain (Extended Abstract)
Subjects: G000 Computing and Mathematical Sciences > G400 Computing
DOI (a stable link to the resource): 10.1007/978-3-642-14600-8_34
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Converis
Date Deposited: 31 May 2011 14:33
Last Modified: 08 Jan 2013 16:08
URI: http://eprints.brighton.ac.uk/id/eprint/8650

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year