×
作者ID: 什穆克·达米安·恩里克“Szmuc,Damian Enrique”最近发表的zbMATH文章
发布日期: 达米安·斯穆克;Szmuc,Damian E。;达米安·恩里克·斯穆克;Szmuc,Damián E。
已编制索引的文档: 25出版物自2014年起,包括1额外的arXiv预印本
1名编辑贡献
合著者: 14合著者具有22联合出版物
90位合著者

按年份列出的出版物

zbMATH Open中包含的引文

21出版物有被引用155中的次73文件 引用人 年份
经典逻辑和次协调逻辑的层次结构。 Zbl 1471.03053号
爱德华多·亚历杭德罗·巴里奥;费德里科·佩洛斯;达米安·斯穆克
32
2020
在传染逻辑的扩展中定义LFI和LFU。 Zbl 1398.03138号
达米安·恩里克·斯穆克
19
2016
什么是次协调逻辑? Zbl 1439.03062号
爱德华多·巴里奥;费德里科·佩洛斯;达米安·斯穆克
15
2018
基于污染值线性顺序的逻辑。 Zbl 1450.03004号
罗伯托·丘尼;托马斯·麦考利·弗格森;达米安·斯穆克
11
2019
传染逻辑中的连接和析取。 Zbl 1495.03047号
大森,Hitoshi;达米安·斯穆克
11
2017
遵循组件同质性的相关逻辑。 Zbl 1453.03019号
罗伯托·丘尼;达米安·斯穆克;托马斯·麦考利,弗格森
10
2018
次协调弱Kleene逻辑的认知解释。 Zbl 1452.03070号
Szmuc,Damian E。
8
2019
免疫逻辑。 Zbl 1521.03049号
布鲁诺·达雷;达米安·斯穆克
7
2021
非传递方法的恢复运算符。 Zbl 1452.03062号
爱德华多·亚历杭德罗·巴里奥;费德里科·佩洛斯;达米安·斯穆克
5
2020
基于四值传染逻辑的真理理论。 Zbl 1477.03072号
布鲁诺·达雷;费德里科·佩洛斯;达米安·斯穆克
5
2020
元推理二重性。 Zbl 1486.03043号
布鲁诺·达雷;费德里科·佩洛斯;达米安·斯穆克;Paula Teijeiro
5
2020
毫无意义的分歧。 Zbl 1529.03096号
达米安·斯穆克;托马斯·麦考利,弗格森
5
2021
关于戈达德和劳特利意义逻辑的注释。 Zbl 1455.03011号
达米安·斯穆克;大森,Hitoshi
4
2018
通过四值污染逻辑建模计算机错误的交互作用。 Zbl 1530.03140号
罗伯托·齐尼;托马斯·麦考利·弗格森;达米安·斯穆克
2019
(元)蕴涵推理水平超出塔尔斯基范式。 兹比尔1525.03076
爱德华多·亚历杭德罗·巴里奥;费德里科·佩洛斯;达米安·斯穆克
2021
语义闭合的次一致路径。 Zbl 1405.03064号
爱德华多·亚历杭德罗·巴里奥;费德里科·马蒂亚斯·佩洛斯;达米安·恩里克·斯穆克
2017
亚结构逻辑、多元主义和崩溃。 Zbl 1525.03077号
爱德华多·亚历杭德罗·巴里奥;费德里科·佩洛斯;达米安·斯穆克
2021
可推导性和元推理有效性。 Zbl 07644288号
布鲁诺·达雷;达米安·斯穆克;Paula Teijeiro
2
2022
帕里分析蕴涵逻辑的一个简单逻辑矩阵和序列演算。 Zbl 07424398号
Szmuc,Damian E。
2
2021
纯变量包含逻辑。 Zbl 1496.03117号
弗朗西斯科·保利;米歇尔·普拉·巴尔迪;达米安·斯穆克
1
2021
关于病态的真理。 Zbl 1319.03019号
卢卡斯·罗森布拉特;Szmuc,Damián E。
1
2014
可推导性和元推理有效性。 Zbl 07644288号
布鲁诺·达雷;达米安·斯穆克;Paula Teijeiro
2
2022
免疫逻辑。 Zbl 1521.03049号
达雷,布鲁诺;达米安·斯穆克
7
2021
毫无意义的分歧。 Zbl 1529.03096号
达米安·斯穆克;托马斯·麦考利·弗格森
5
2021
(元)蕴涵推理水平超出塔尔斯基范式。 Zbl 1525.03076号
爱德华多·亚历杭德罗·巴里奥;费德里科·佩洛斯;达米安·斯穆克
2021
亚结构逻辑、多元主义和崩溃。 Zbl 1525.03077号
爱德华多·亚历杭德罗·巴里奥;费德里科·佩洛斯;达米安·斯穆克
2021
帕里分析蕴涵逻辑的一个简单逻辑矩阵和序列演算。 Zbl 07424398号
Szmuc,Damian E。
2
2021
纯变量包含逻辑。 Zbl 1496.03117号
弗朗西斯科·保利;米歇尔·普拉·巴尔迪;达米安·斯穆克
1
2021
经典逻辑和次协调逻辑的层次结构。 Zbl 1471.03053号
爱德华多·亚历杭德罗·巴里奥;费德里科·佩洛斯;达米安·斯穆克
32
2020
非传递方法的恢复运算符。 Zbl 1452.03062号
爱德华多·亚历杭德罗·巴里奥;费德里科·佩洛斯;达米安·斯穆克
5
2020
基于四值传染逻辑的真理理论。 Zbl 1477.03072号
达雷,布鲁诺;费德里科·佩洛斯;达米安·斯穆克
5
2020
元推理二重性。 Zbl 1486.03043号
布鲁诺·达雷;费德里科·佩洛斯;达米安·斯穆克;Paula Teijeiro
5
2020
基于污染值线性顺序的逻辑。 Zbl 1450.03004号
罗伯托·齐尼;托马斯·麦考利·弗格森;达米安·斯穆克
11
2019
次协调弱Kleene逻辑的认知解释。 Zbl 1452.03070号
Szmuc,Damian E。
8
2019
通过四值污染逻辑建模计算机错误的交互作用。 Zbl 1530.03140号
罗伯托·齐尼;托马斯·麦考利·弗格森;达米安·斯穆克
2019
什么是次协调逻辑? Zbl 1439.03062号
爱德华多·巴里奥;费德里科·佩洛斯;达米安·斯穆克
15
2018
遵循组件同质性的相关逻辑。 Zbl 1453.03019号
罗伯托·丘尼;达米安·斯穆克;托马斯·麦考利·弗格森
10
2018
关于戈达德和劳特利意义逻辑的注释。 Zbl 1455.03011号
达米安·斯穆克;大森,Hitoshi
4
2018
传染逻辑中的连接和析取。 Zbl 1495.03047号
Hitoshi大森;达米安·斯穆克
11
2017
语义闭包的一种准一致路径。 Zbl 1405.03064号
爱德华多·亚历杭德罗·巴里奥;费德里科·马蒂亚斯·佩洛斯;达米安·恩里克·斯穆克
2017
在传染逻辑的扩展中定义LFI和LFU。 Zbl 1398.03138号
达米安·恩里克·斯穆克
19
2016
关于病理学真理。 Zbl 1319.03019号
卢卡斯·罗森布拉特;Szmuc,Damián E。
1
2014
全部的 前5名

60位作者引用

13 达米安·恩里克·斯穆克
12 费德里科·马蒂亚斯·佩洛斯
7 爱德华多·亚历杭德罗·巴里奥
7 斯特凡诺·邦齐奥
5 米歇尔·普拉·巴尔迪
5 布鲁诺·达雷
4 托马斯·麦考利·弗格森
4 杰里米亚·乔文·乔金(Jeremiah Joven B.Joaquin)。
巴勃罗·科布雷罗斯
弗朗西斯科·保利
雅罗斯拉夫·伊戈列维奇·彼得鲁金
Paula Teijeiro
2 乔纳斯·拉斐尔·贝克尔·阿伦哈特
2 亚历克斯·贝里科夫
2 乔安·托兰佐·卡尔德龙
2 保罗·埃格里
2 适合,Melvin Chris
2 安德烈亚斯·费尔斯塔德
2 Rea戈兰
2 埃利奥·拉罗莎
2 安德烈·洛伊
2 普拉·巴尔迪,M。
2 戴维·里普利
2 玛丽埃拉·鲁宾
2 克里斯·斯坎布勒
2 卢卡·特兰奇尼
1 恩里克·安图内斯
1 堪萨斯州巴什肯特
1 卡洛斯·贝尼托·蒙萨尔沃
1 Edson Vinícius贝泽拉
1 古斯塔沃·阿德里安·博丹萨
1 费德里科·博姆
1 马西米利亚诺·卡拉拉
1 罗伯托·齐尼
1 罗伊·T·库克。
1 博格丹·迪彻
1 文森佐·法诺
1 阿尔多·菲加洛·奥雷利亚诺
1 卡米洛·菲奥雷
1 诺伯特·格拉茨
1 格拉齐亚尼,皮耶路易吉
1 伊万·阿列克桑德罗维奇·卡彭科
1 安东尼奥·莱达
1 伊莎贝拉·麦卡利斯特
1 梅洛、爱德森·萨夫拉
1 托马索·莫拉希尼
1 卡洛·尼古莱
1 大森,Hitoshi
1 埃迪·巴甫洛维奇
1 米盖尔·佩雷斯·加斯帕
1 路易莎·佩鲁齐
1 布莱恩·波特
1 拉米雷斯-卡马拉,埃利桑格拉
1 拉米雷斯·孔特雷拉斯(Ramírez-Contreras)、胡安·曼努埃尔(Juan Manuel)
1 洛伦佐·保罗·罗西
1 瓦西里·沙金
1 罗伯特·范·鲁伊
1 乔治·文丘里
1 海因里希·西奥多
1 埃莉亚·扎迪尼

按年份列出的引文