一阶、二阶、谓词、模态、模糊、线性、直觉主义、相干、非单调、描述、组合、范畴、时态、动态、认知、道义、多值、高阶、自由逻辑、量子逻辑、子结构逻辑、可废止逻辑、缺省逻辑、自动认识逻辑、时空逻辑、空间逻辑、信任逻辑、安全逻辑、偏好逻辑、行动逻辑、意图逻辑、概率逻辑、条件逻辑、对比逻辑、归纳逻辑、溯因逻辑、谬误逻辑、亚结构逻辑等。演算类型也可以多样化：例如：进程代数（CSP）、事件演算、流演算、约束演算、重写演算、匹配演算、图演算、数据流演算、几何演算、拓扑演算、微分演算、积分演算、变分演算、泛函演算、矩阵演算、张量演算、布尔演算、集合演算、关系演算（已有元组演算，还可以有域演算）、SQL演算、查询演算、规则演算、决策演算、博弈演算、策略演算、自动机演算、正则演算、上下文无关演算、树演算、图灵机演算、递归演算、不动点演算、格演算、序演算、范畴演算、同调演算、上同调演算、模演算、环演算、域演算、向量空间演算、希尔伯特空间演算、算子演算、谱演算、傅里叶演算、拉普拉斯演算、Z变换演算、差分演算、离散演算、连续演算、随机演算、马尔可夫演算、排队演算、网络演算（已有）、Petri网演算、着色Petri网演算、时间Petri网演算、随机Petri网演算、性能演算、可靠性演算、可用性演算、安全性演算、隐私演算、密码演算、信息流演算、依赖演算、、多态演算、模块演算、对象演算、类演算、继承演算、委托演算、反射演算、元编程演算、宏演算、模板演算、模式演算、匹配演算、重写演算、项重写演算、图重写演算、字符串重写演算、半群演算、群演算、环演算、域演算、伽罗瓦演算、李代数额外、外代数、克利福德代数、八元数、四元数、复数、实数、有理数、整数、自然数、基数、序数、超限数、无限演算、极限演算、收敛演算、发散演算、级数演算、乘积演算、求和演算、积分演算、微分演算、变分演算（重复）、最优化演算、控制演算、滤波
