Beta Assertive Graphs

Francesco Bellucci, Daniele Chiffi, Ahti Veikko Pietarinen*

*Corresponding author for this work

Research output: Chapter in book/report/conference proceedingConference proceedingpeer-review

Abstract

Assertive graphs (AGs) modify Peirce’s Alpha part of Existential Graphs (EGs) and are used to reason about assertions without any ad hoc sign of assertion. This paper presents an extension of propositional AGs to Beta by lines. Absence of polarities necessitate Beta-AGs to resort to two kinds of lines: standard lines (a certain method of asserting), and barbed lines (a general method of asserting). A new set of rules of transformations for Beta-AGs is presented that derive theorems of quantificational intuitionistic logic. Beta-AGs offer a new system to analyse assertions through quantificational diagrams.

Original languageEnglish
Title of host publicationDiagrammatic Representation and Inference
Subtitle of host publication11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings
EditorsAhti-Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James Corter, Sven Linker
PublisherSpringer Cham
Pages525-529
Number of pages5
Edition1st
ISBN (Electronic)9783030542498
ISBN (Print)9783030542481
DOIs
Publication statusPublished - 29 Jul 2020
Event11th International Conference on the Theory and Application of Diagrams, Diagrams 2020 - Tallinn, Estonia
Duration: 24 Aug 202028 Aug 2020
https://link.springer.com/book/10.1007/978-3-030-54249-8

Publication series

NameLecture Notes in Computer Science
Volume12169
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349
NameLecture Notes in Artificial Intelligence
NameDiagrams: International Conference on Theory and Application of Diagrams

Conference

Conference11th International Conference on the Theory and Application of Diagrams, Diagrams 2020
Country/TerritoryEstonia
CityTallinn
Period24/08/2028/08/20
Internet address

Scopus Subject Areas

  • Theoretical Computer Science
  • Computer Science(all)

User-Defined Keywords

  • Existential/Assertive graphs
  • Intuitionistic logic
  • Quantifier

Fingerprint

Dive into the research topics of 'Beta Assertive Graphs'. Together they form a unique fingerprint.

Cite this