Ologisms

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

Authors Ruggero Pagnan

Publication date 6 September 2018

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

zbMATH Keywords

category theoryknowledge representationsyllogismconceptual planning of databasesologologism

Mathematics Subject Classification ID

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

Recommendations

• Syllogisms in rudimentary linear logic, diagrammatically
• A Diagrammatic Calculus of Syllogisms
• Diagrammatic logic applied to a parameterisation process
• Logicographic symbols
• Combining and relating Aristotelian diagrams

Cites work

• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 193320 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 3316072 (Why is no real title available?)
• scientific article; zbMATH DE number 3385865 (Why is no real title available?)
• scientific article; zbMATH DE number 3385867 (Why is no real title available?)
• scientific article; zbMATH DE number 3066797 (Why is no real title available?)
• scientific article; zbMATH DE number 3099243 (Why is no real title available?)
• A diagrammatic calculus of syllogisms
• Coherence in categories
• Coherence in closed categories
• Deductive systems and categories
• Functional completeness of cartesian categories
• On the conditions of full coherence in closed categories
• Proof of a conjecture of S. Mac Lane
• Proof-theoretical coherence
• Syllogisms in rudimentary linear logic, diagrammatically
• What is a syllogism?
• Why commutative diagrams coincide with equivalent proofs

Cited in

(1)

• Diffeology

This page was built for publication: Ologisms

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