Triangular Logic of Partial Toposes

DOI10.1080/11663081.2000.10510995zbMath1033.03037OpenAlexW1979049081MaRDI QIDQ4443409

Adam Obtułowicz

Publication date: 11 January 2004

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2000.10510995

zbMATH Keywords

graph homomorphismsdirected graphspartial toposesequational theory of partial maps over toposestriangular logicvisual presentation of proofs by nested commutative triangles

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Topoi (18B25) Directed graphs (digraphs), tournaments (05C20) Equational classes, universal algebra in model theory (03C05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized sketches as a framework for completeness theorems. I-III
• Pushout-Properties: An analysis of gluing constructions for graphs

This page was built for publication: Triangular Logic of Partial Toposes