scientific article; zbMATH DE number 6932688

DOI10.23638/LMCS-14(3:12)2018MaRDI QIDQ4585075

Ruggero Pagnan

Publication date: 6 September 2018

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

knowledge representationsyllogismcategory theoryconceptual planning of databasesologologism

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• On the conditions of full coherence in closed categories
• Proof of a conjecture of S. Mac Lane
• A diagrammatic calculus of syllogisms
• Syllogisms in rudimentary linear logic, diagrammatically
• Coherence in closed categories
• Coherence in categories
• What is a syllogism?
• Why commutative diagrams coincide with equivalent proofs
• Functional completeness of cartesian categories
• Deductive systems and categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: