Dr. 彼得Jipsen

Dr. 彼得Jipsen

教授
施密德科学学院 and 技术; Mathematics
专业知识: Universal Algebra; Lattice Theory; Residuated Lattices; Algebraic Logic; Substructural logics; enumerative combinatorics;
办公地点: 凯克科学与工程中心
Phone: (714) 744-7918
学术著作:
数字共享
教育:
开普敦大学,理学学士
开普敦大学,理学硕士
范德比尔特大学博士.D.

最近的创意,学术工作和出版物

J. Gil-Ferez P. 吉普森和S. Lodhia, 局部积分对合半群和半环的结构, 第20届计算机科学关系与代数方法国际会议论文集(RAMiCS), R. gl ck等. (Eds.),计算机科学讲义卷13896,施普林格(2023),69-86
P. 吉普森和J. Semrl, 可表征和对角可表征弱化关系代数, 第20届计算机科学关系与代数方法国际会议论文集(RAMiCS), R. gl ck等. (Eds.),计算机科学讲义卷13896,Springer (2023), 140-157
P. 吉普森和T. 聚类暗示与分离逻辑的代数一瞥,载于:Galatos, N.特瑞,K. (编)小野广明论子结构逻辑. 对逻辑学的杰出贡献,第23卷. 施普林格,可汗. 2022
P. 吉普森和J. B. 国家,原始格变,代数与计算国际杂志. (2022)
M. Abbadini P. Jipsen T. 克鲁帕和S. Vannucci,正mv -代数的有限公理化,通用代数. 83, 28 (2022)
P. Jipsen, M. E. 库尔德-米斯托和J. 温伯利,威尼斯人app布尔岩浆和布尔半格的表示,In: Madarász., szizkely G. (编)Hajnal andr和István nsameti威尼斯人app科学的统一. 对逻辑学的杰出贡献,第19卷. 施普林格,可汗., (2021), Ch 12, 289 - 312.
N. Alpay P. 吉普森和M. Sugimoto, 一元确定分布l-岩浆与束状蕴涵代数, 第19届计算机科学关系与代数方法国际会议论文集(RAMiCS), U. 费恩伯格等人. (Eds.),《澳门威尼斯人app下载》Vol 13027, Springer (2021), 19-36
W. Conradie V. 戈兰科和P. Jipsen, 关联逻辑的算法对应, 集束隐含逻辑, 和关系代数通过实现算法PEARL, 第19届计算机科学关系与代数方法国际会议论文集(RAMiCS), U. 费恩伯格等人. (Eds.),《澳门威尼斯人app下载》Vol 13027, Springer (2021), 126-143
P. 吉普森和S. Vannucci, 对合半环上的内射和射影半模, 代数及其应用, (2021)
P. 阿,Jipsen. 图伊特和D. Valota, 有限交换幂等对合残格的结构, 通用代数82, 57 (2021)
N. Galatos P. Jipsen, M. Kinyon,. Prenosil,格序预群是半分布的,代数,82,16 (2021)
U. Fahrenberg P. Jipsen, M. Winter, (eds), 计算机科学中的关系与代数方法, 第十八届国际会议论文集, RAMiCS 2020, Palaiseau, France, 10月26 - 29日, 诉讼, 计算机科学12062课堂讲稿, Springer, 2020
N. 支付宝和P. Jipsen, 由链和序林确定的交换双幂等半环, 第18届计算机关系与代数方法国际会议论文集 科学(RAMiCS),讲义在计算机科学卷12062,施普林格(2020),1-14.
N. 加拉托斯和P. Jipsen, 弱化关系代数与FL^2代数, 第18届计算机科学关系与代数方法国际会议论文集(RAMiCS), 计算机科学第12062卷课堂讲稿, 施普林格(2020), 117-133.
J. Gil-Ferez P. 吉普森和G. 梅特卡夫, 幂等剩余格的结构定理, 代数Universalis, 81, 28 (2020) 25p.
N. 加拉托斯和P. Jipsen, 广义双代数和弱关系代数的结构, 代数Universalis, (2020) 81: 35, 35p.
G. Greco, P. Jipsen K. Manoorkar,. Palmigiano和A. Tzimoulis,逻辑的粗略概念分析,马里兰州. A. 可汗和A. 曼纽尔(Eds.): ICLA 2019, 计算机科学课堂讲稿 11600, Springer (2019) 144-159
P. 吉普森和M. 金扬,非结合右箍,代数普遍,80,47(2019)14页.
W. 弗斯纳和P. 李志强,余志强,余志强,余志强,余志强,余志强,余志强.
S. 亚历山大,P. 吉普森和N. Upegui, 威尼斯人app广义效应代数和分离代数的结构, 第17届计算机科学关系与代数方法国际会议论文集(RAMiCS), 10月29日- 11月1日, 2018, 开放大学, 格罗宁根, 荷兰, 计算机科学第11194卷课堂讲稿, 施普林格(2018), 148-165
P. Jipsen, 关系代数, 幂等半环与广义束蕴涵代数, 第16届国际计算机科学关系与代数方法会议论文集(RAMiCS), 5月15 - 19日, 2017, 实体里昂, France, 计算机科学课堂讲稿, Vol. 10226, Springer (2017), 144-158
H. Andreka,年代. Givant P. 吉普森和我. Nemeti, 论塔斯基关系演算的公理基础, 符号逻辑杂志, 82(3), (2017), 966-994
N. 加拉托斯和P. Jipsen, 分配剩余框架与广义束蕴涵代数, 代数Universalis, 78(3), (2017), 303-336
P. Jipsen, 威尼斯人app广义箍, 残格的同态象, 和(G) BL-algebras, 软计算, 21(1) (2017), 17-27
P. 吉普森和H. 《澳门威尼斯人app下载》,《澳门威尼斯人app下载》第一章,主编. G. Grätzer和F. 魏荣,《威尼斯人app》,2016,1-26
P. 吉普森和M. A. Moshier, 具有测试和分支自动机的并发Kleene代数, 规划中的逻辑和代数方法杂志, 85(4) (2016), 637-652
P. Hofner P. Jipsen W. 卡尔和M. E. Müller, (eds), 计算机科学中的关系与代数方法, 特殊的问题, 规划中的逻辑和代数方法杂志, Vol 85, 第四期(2016年6月), 447-636
P. 吉普森和N. Lawless,生成给定大小的所有有限模格,代数通用,(2015)doi:10.1007/s00012-015-0348-x
P. Hofner P. Jipsen W. 卡尔和M. E. Müller, (eds), Preface, 在《威尼斯人app》, 第十四届国际会议论文集, RAMiCS 2014, Marienstatt, Germany, 4月28日- 5月1日, 计算机科学课堂讲稿, Springer, 2014
P. Jipsen, 带检验的并发Kleene代数, 第14届计算机科学关系与代数方法国际会议论文集, Marienstatt, Germany, 4月28日至5月1日, 2014, 计算机科学课堂讲稿, Vol. Springer-Verlag (2014): 37-48
M. A. 莫舍和P. Jipsen, 拓扑对偶性和格展开。第二部分:拟算子的格展开, 代数Universalis, 71(3) (2014), 221-234
M. A. 莫舍和P. Jipsen, 拓扑对偶和点阵展开。第1部分:正则扩展的拓扑构造, 代数Universalis, 71(2) (2014), 109-126
N. 加拉托斯和P. Jipsen, 具有可决性应用的残馀帧, 美国数学学会会刊, 365 (2013), 1219-1249.
N. 加拉托斯和P. Jipsen,关系代数的扩展fl -代数,通用代数,69 (1)(2013):1-21.
P. Jipsen,. 莱达和F. Paoli, 拟mv代数和v'拟mv代数的一些性质, Part IV, 数理逻辑报告, 48 (2013) 3-36
P. Jipsen, 等价于幂等半环和域半环的代数上下文范畴, 第13届计算机科学关系与代数方法国际会议论文集, 剑桥, UK, 9月17-21, 2012, Timothy G. 格里芬和沃尔夫拉姆·卡尔主编.),计算机科学课堂讲稿,卷. 1975, Springer-Verlag (2012), 195-206.
N. Galatos P. 吉普森和H. Ono, (eds), Preface, 在特刊:剩余格和子结构逻辑的最新进展, 皆Logica, 卷100, Issue 6, 2012.