Publication:5311057

zbMath1081.03019MaRDI QIDQ5311057

Pierre Ageron

Publication date: 22 August 2005

zbMATH Keywords

taxonomy; law of identity; self-deductibility

Mathematics Subject Classification ID

03B60: Other nonclassical logic

03G30: Categorical logic, topoi

03B22: Abstract deductive systems

18A15: Foundations, relations to logic and deductive systems

Related Items

Unnamed Item