Diagonal logic

zbMATH Open1203.03039MaRDI QIDQ3067320FDOQ3067320

Authors: Manuel A. Sierra 

Publication date: 21 January 2011

Recommendations

• Connectives in the topos of directed graphs
• scientific article; zbMATH DE number 3869560
• Standard sentence logic as graphs
• La logique des topos
• Topologies for intermediate logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cited In (6)

• Title not available (Why is that?)
• Triangular Logic of Partial Toposes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Connectives in the topos of directed graphs
• Standard sentence logic as graphs

This page was built for publication: Diagonal logic

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