dedekind::category::LogicTraits< T > Struct Template Reference

Primary Template: Default to Classical (Boolean) Logic. More...

Public Types
using	type = Boole

Detailed Description

template<typename T>
struct dedekind::category::LogicTraits< T >

Primary Template: Default to Classical (Boolean) Logic.

logic__Logic_Atlas_Bridge

Maps a Species to its specific Truth Object (Omega). This bridge consumes the facts from the :species Atlas to determine which logical system governs a given type.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/category/logic.cppm