Triangular Logic of Partial Toposes

DOI10.1080/11663081.2000.10510995MaRDI QIDQ4443409zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 4047721
• scientific article; zbMATH DE number 1985403
• Partial Horn logic and Cartesian categories
• Partiality, cartesian closedness, and toposes
• Diagonal logic

Cites work

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3572375 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Generalized sketches as a framework for completeness theorems. I-III
• Pushout-Properties: An analysis of gluing constructions for graphs

Cited in

(1)

• Formal Theories are Acyclic

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

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