Creating a second order diagrammatic logic

Peter Chapman; Gem Stapleton

doi:10.1007/978-3-642-14600-8_34

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.

Original language	English
Pages	298-300
Number of pages	3
DOIs	https://doi.org/10.1007/978-3-642-14600-8_34
Publication status	Published - 1 Jan 2010
Event	6th International Conference on the Theory and Application of Diagrams - Portland, Oregon, USA, 9-11 August, 2010 Duration: 9 Aug 2010 → …

Conference

Conference	6th International Conference on the Theory and Application of Diagrams
Period	9/08/10 → …

Access to Document

10.1007/978-3-642-14600-8_34Licence: Unspecified

http://www.springerlink.com/content/v41041627g275671/Licence: Unspecified

Cite this

@conference{a11cd095282d4b808c86158d3c05bff9,

title = "Creating a second order diagrammatic logic",

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.",

author = "Peter Chapman and Gem Stapleton",

year = "2010",

month = jan,

day = "1",

doi = "10.1007/978-3-642-14600-8_34",

language = "English",

pages = "298--300",

note = "6th International Conference on the Theory and Application of Diagrams ; Conference date: 09-08-2010",

}

TY - CONF

T1 - Creating a second order diagrammatic logic

AU - Chapman, Peter

AU - Stapleton, Gem

PY - 2010/1/1

Y1 - 2010/1/1

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-14600-8_34

DO - 10.1007/978-3-642-14600-8_34

M3 - Abstract

SP - 298

EP - 300

T2 - 6th International Conference on the Theory and Application of Diagrams

Y2 - 9 August 2010

ER -

Creating a second order diagrammatic logic

Abstract

Conference

Access to Document

Fingerprint

Cite this