彼得·吉普森;塔德乌兹·利塔克 对聚束暗示和分离逻辑的代数一瞥。 （英语） Zbl 07823891号 加拉托斯（Galatos）、尼古拉斯（Nikolaos）（ed.）等人，小野弘之（Hiroakira Ono），《子结构逻辑》（substructural logics）。查姆：斯普林格。Outst公司。控制日志。23, 185-242 (2022).MSC公司：03A05号 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{P.Jipsen}和\textit{T.Litak}，Outst。控制日志。23185-242（2022；Zbl 07823891） 全文： 内政部 arXiv公司
塔德乌兹·利塔克;阿尔伯特·维瑟 刘易斯会见布劳沃：建设性严格暗示。 （英语） Zbl 1436.03137号 印度。数学。，新序列号。 29，第1号，36-90（2018）.MSC公司：03B45号 03B20型 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{T.Litak}和\textit{A.Visser}，印度。数学。，新序列号。29，第1号，36--90（2018；Zbl 1436.03137） 全文： 内政部 arXiv公司
塔德乌兹·利塔克;米里亚姆·波尔泽;乌尔里希·拉宾斯坦 否定翻译和正常情态。 （英语） Zbl 1434.03074号 Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第27条，第18页（2017年）。MSC公司：03B45号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Litak}等人，LIPIcs——莱布尼茨国际程序。通知。84，第27条，第18页（2017年；Zbl 1434.03074） 全文： 内政部