Triangular Logic of Partial Toposes

DOI10.1080/11663081.2000.10510995zbMATH Open1033.03037OpenAlexW1979049081MaRDI QIDQ4443409FDOQ4443409

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Generalized sketches as a framework for completeness theorems. I-III
• Pushout-Properties: An analysis of gluing constructions for graphs
• Title not available (Why is that?)

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)