Creating a second order diagrammatic logic

Peter Chapman, Gem Stapleton

Research output: Contribution to conferenceAbstract

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 languageEnglish
Pages298-300
Number of pages3
DOIs
Publication statusPublished - 1 Jan 2010
Event6th International Conference on the Theory and Application of Diagrams - Portland, Oregon, USA, 9-11 August, 2010
Duration: 9 Aug 2010 → …

Conference

Conference6th International Conference on the Theory and Application of Diagrams
Period9/08/10 → …

Fingerprint Dive into the research topics of 'Creating a second order diagrammatic logic'. Together they form a unique fingerprint.

  • Cite this

    Chapman, P., & Stapleton, G. (2010). Creating a second order diagrammatic logic. 298-300. Abstract from 6th International Conference on the Theory and Application of Diagrams, . https://doi.org/10.1007/978-3-642-14600-8_34