6 citations · 42 across the 18 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
math.LO2023
Complete representation by partial functions for signatures containing antidomain restriction
Brett McLean
We investigate notions of complete representation by partial functions, where the operations in the signature include antidomain restriction and may include composition, intersecti…
cs.LO2023
Gödel-Dummett linear temporal logic
Juan Pablo Aguilera, Martín Diéguez, David Fernández-Duque +1
We investigate a version of linear temporal logic whose propositional fragment is Gödel-Dummett logic (which is well known both as a superintuitionistic logic and a t-norm fuzzy lo…
cs.LO2023★ 1 cited
Preservation theorems for Tarski's relation algebra
Bart Bogaerts, Balder ten Cate, Brett McLean +1
We investigate a number of semantically defined fragments of Tarski's algebra of binary relations, including the function-preserving fragment. We address the question whether they…