Syllogisms in rudimentary linear logic, diagrammatically

DOI10.1007/S10849-012-9170-4zbMATH Open1305.03056arXiv1302.7111OpenAlexW2042494072MaRDI QIDQ2255209FDOQ2255209

Ruggero Pagnan

Publication date: 9 February 2015

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Abstract: We present a reading of the traditional syllogistics in a fragment of the propositional intuitionistic multiplicative linear logic and prove that with respect to a diagrammatic logical calculus that we introduced in a previous paper, a syllogism is provable in such a fragment if and only if it is diagrammatically provable. We extend this result to syllogistics with complemented terms `a la De Morgan, with respect to a suitable extension of the diagrammatic reasoning system for the traditional case and a corresponding reading of such De Morgan style syllogistics in the previously referred to fragment of linear logic.

Full work available at URL: https://arxiv.org/abs/1302.7111

Recommendations

• A Diagrammatic Calculus of Syllogisms
• On the insufficiency of linear diagrams for syllogisms
• scientific article; zbMATH DE number 3946122
• The geometry of diagrams and the logic of syllogisms
• Syllogisms with Intermediate Quantifiers Solved in Marlo Logic Diagrams

zbMATH Keywords

linear logicproof netsdiagrammatic reasoningsyllogism

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Title not available (Why is that?)
• Bounded linear logic: A modular approach to polynomial-time computability
• Title not available (Why is that?)
• Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL
• A Decidable Constraint Diagram Reasoning System
• Title not available (Why is that?)
• Title not available (Why is that?)
• A diagrammatic inference system with Euler circles
• Title not available (Why is that?)
• Spider Diagrams
• Title not available (Why is that?)
• The structure of multiplicatives
• Title not available (Why is that?)
• Title not available (Why is that?)
• What is a syllogism?
• Title not available (Why is that?)
• Completeness of an ancient logic
• Euler’s visual logic
• Title not available (Why is that?)
• Linear diagrams for syllogisms (with relationals)
• The Expressiveness of Spider Diagrams
• Title not available (Why is that?)
• A diagrammatic calculus of syllogisms
• Title not available (Why is that?)
• Reasoning with sentences and diagrams
• Towards a model theory of diagrams
• A survey of reasoning systems based on Euler diagrams
• The Advent of Formal Diagrammatic Reasoning Systems
• An algebraic correctness criterion for intuitionistic multiplicative proof-nets
• The structure of valid \(n\)-term syllogisms
• A diagrammatic treatment of syllogistic
• Title not available (Why is that?)
• Automated theorem proving with spider diagrams
• Diagrammatic Representation and Inference
• On the insufficiency of linear diagrams for syllogisms

Cited In (5)

• On the insufficiency of linear diagrams for syllogisms
• Proclus and the Neoplatonic syllogistic
• A Diagrammatic Calculus of Syllogisms
• Title not available (Why is that?)
• The Indemonstrables of Chrysippus of Soli in Marlo Logical Diagrams. Could Propositional Calculus Be Nothing but Syllogisms?

This page was built for publication: Syllogisms in rudimentary linear logic, diagrammatically

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