Counter-example construction with Euler diagrams

DOI10.1007/S11225-014-9584-XzbMATH Open1370.03076OpenAlexW2031215408MaRDI QIDQ495828

Ryo Takemura

Publication date: 15 September 2015

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-014-9584-x

zbMATH Keywords

proof theorycompletenessdecidabilitydeductive systemEuler diagramstableaux method

Mathematics Subject Classification ID

Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05) Metamathematics of constructive systems (03F50) General logic (03B99)

Cites Work

• Qualitative spatial representation and reasoning: An overview
• A diagrammatic inference system with Euler circles
• Proof theory for reasoning with Euler diagrams: a logic translation and normalization
• Spider Diagrams
• Euler’s visual logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Presence and absence of individuals in diagrammatic logics: an empirical comparison
• Strategy analysis of non-consequence inference with Euler diagrams

Uses Software

• Hyperproof

This page was built for publication: Counter-example construction with Euler diagrams

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q495828)