×
作者ID: jarmuzek.tomasz公司“Jarmużek,Tomasz”最近发表的zbMATH文章
发布日期: 托马斯·贾穆·埃克;托马什·贾穆泽克;Jarmużek,T。
已编制索引的文档: 25出版物自2004年以来,包括1本书1个附加arXiv预打印
1作为编辑的贡献
合著者: 18位合著者具有20联合出版物
192位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

15出版物有被引用80中的次30文件 引用人 年份
布尔连接逻辑:语义和表方法。 Zbl 1458.03024号
托马斯·贾穆·埃克;雅切克·马林诺夫斯基
11
2019
严格意义上的形式逻辑。语义和表格方法。 Zbl 1478.03038号
托马斯·贾穆·埃克;马特乌斯·克洛诺夫斯基
11
2020
在某些逻辑中,公式上有一个关系:tableau系统(mathcal F)。 Zbl 1336.03039号
托马斯·贾穆·埃克;卡奇科夫斯基(Kaczkowski)、巴托斯·杰尔齐(Bartosz Jerzy)
11
2014
将语义关联为内涵逻辑的细粒度语义。 Zbl 07607233号
托马斯·贾穆·埃克
10
2021
由相关语义和表系统定义的一些内涵逻辑。 Zbl 07607234号
托马斯·贾穆·埃克;马特乌斯·克洛诺夫斯基
9
2021
模态布尔连接逻辑:语义和表格方法。 Zbl 1446.03043号
托马斯·贾穆·埃克;雅切克·马林诺夫斯基
8
2019
最小位置演算的完备性。 Zbl 1117.03328号
托马斯·贾穆·埃克;安德烈·彼得鲁兹扎克(Andrzej Pietruszczak)
6
2004
模态逻辑的表au元定理。 Zbl 1347.03043号
托马斯·贾穆·埃克
4
2014
JerzyŁos位置演算和时态逻辑的起源。 Zbl 1443.03010号
马钦·特卡奇克;托马斯·贾穆·埃克
2
2019
命题逻辑和术语逻辑的表方法。Sławomir Jaskólski翻译。 Zbl 07371166号
托马斯·贾穆·埃克
2
2020
范畴命题逻辑和可判定性的表格系统。 Zbl 1286.03109号
托马斯·贾穆·埃克
2
2008
关联逻辑和关联语义。历史、哲学应用和一些技术问题。 Zbl 1496.03008号
托马斯·贾穆·埃克;弗朗西斯科·保利
1
2021
贝叶斯命题逻辑。 Zbl 1423.03067号
托马斯·贾穆泽克;马特乌斯·克洛诺夫斯基;雅切克·马林诺夫斯基
1
2017
名称和表格系统的纯模态逻辑。 Zbl 1437.03091号
安德烈·彼得鲁兹扎克(Andrzej Pietruszczak);托马斯·贾穆·埃克
1
2018
自由选择许可、合法化和相关语义。 Zbl 1515.03071号
丹尼拉·格拉瓦尼科娃;托马斯·贾穆·埃克;马特乌斯·克洛诺夫斯基;彼得·库利基
1
2023
自由选择许可、合法化和相关语义。 兹比尔1515.03071
丹尼拉·格拉瓦尼科娃;托马斯·贾穆·埃克;马特乌斯·克洛诺夫斯基;彼得·库利基
1
2023
将语义关联为内涵逻辑的细粒度语义。 Zbl 07607233号
托马斯·贾穆·埃克
10
2021
由相关语义和表系统定义的一些内涵逻辑。 Zbl 07607234号
托马斯·贾穆·埃克;马特乌斯·克洛诺夫斯基
9
2021
关联逻辑和关联语义。历史、哲学应用和一些技术问题。 Zbl 1496.03008号
托马斯·贾穆·埃克;弗朗西斯科·保利
1
2021
严格意义上的形式逻辑。语义和表格方法。 Zbl 1478.03038号
托马斯·贾穆·埃克;马特乌斯·克洛诺夫斯基
11
2020
命题逻辑和术语逻辑的Tableau方法。Sławomir Jaskólski翻译。 Zbl 07371166号
托马斯·贾穆·埃克
2
2020
布尔连接逻辑:语义和表方法。 Zbl 1458.03024号
托马斯·贾穆·埃克;雅切克·马林诺夫斯基
11
2019
模态布尔连接逻辑:语义和表格方法。 Zbl 1446.03043号
托马斯·贾穆·埃克;雅切克·马林诺夫斯基
8
2019
JerzyŁos位置演算和时态逻辑的起源。 Zbl 1443.03010号
马钦·特卡奇克;托马斯·贾穆·埃克
2
2019
名称和表格系统的纯模态逻辑。 Zbl 1437.03091号
安德烈·彼得鲁兹扎克(Andrzej Pietruszczak);托马斯·贾穆·埃克
1
2018
贝叶斯命题逻辑。 Zbl 1423.03067号
托马斯·贾穆泽克;马特乌斯·克洛诺夫斯基;雅切克·马林诺夫斯基
1
2017
在某些逻辑中,公式上有一个关系:tableau系统(mathcal F)。 Zbl 1336.03039号
托马斯·贾穆·埃克;卡奇科夫斯基(Kaczkowski)、巴托斯·杰尔齐(Bartosz Jerzy)
11
2014
模态逻辑的表au元定理。 Zbl 1347.03043号
托马斯·贾穆·埃克
4
2014
范畴命题逻辑和可判定性的表格系统。 Zbl 1286.03109号
托马斯·贾穆·埃克
2
2008
最小位置演算的完备性。 Zbl 1117.03328号
托马斯·贾穆·埃克;安德烈·彼得鲁兹扎克(Andrzej Pietruszczak)
6
2004

按年份列出的引文