61. A recursion theoretic foundation of computation over real numbers. (16th July 2021) Authors: Ng, Keng Meng; R Tavana, Nazanin; Yang, Yue Journal: Journal of logic and computation Issue: Volume 31:Number 7(2021) Page Start: 1660 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
62. A review of literature on parallel constraint solving. Issue 5 (2nd August 2018) Authors: GENT, IAN P.; MIGUEL, IAN; NIGHTINGALE, PETER; MCCREESH, CIARAN; PROSSER, PATRICK; MOORE, NEIL C. A.; UNSWORTH, CHRIS Journal: Theory and practice of logic programming Issue: Volume 18:Issue 5/6(2018) Page Start: 725 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
63. A strongly complete axiomatization of intuitionistic temporal logic. (16th July 2021) Authors: Chopoghloo, Somayeh; Moniri, Morteza Journal: Journal of logic and computation Issue: Volume 31:Number 7(2021) Page Start: 1640 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
64. A study of continuous vector representations for theorem proving. (8th February 2021) Authors: PurgaŁ, StanisŁaw; Parsert, Julian; Kaliszyk, Cezary Journal: Journal of logic and computation Issue: Volume 31:Number 8(2021) Page Start: 2057 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
65. A study of possible-worlds semantics of relevance-sensitive belief revision. (25th May 2020) Authors: Aravanis, Theofanis; Peppas, Pavlos; Williams, Mary-Anne Journal: Journal of logic and computation Issue: Volume 30:Number 5(2020) Page Start: 1125 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
66. A substructural epistemic resource logic: theory and modelling applications. (19th January 2020) Authors: Galmiche, Didier; Kimmel, Pierre; Pym, David Journal: Journal of logic and computation Issue: Volume 29:Number 8(2019) Page Start: 1251 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
67. A Substructural Modal Logic of Utility. (7th February 2017) Authors: Anderson, Gabrielle; Pym, David Journal: Journal of logic and computation Issue: Volume 27:Number 5(2017) Page Start: 1421 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
68. A Syntactic Operator for Forgetting that Satisfies Strong Persistence. Issue 5 (September 2019) Authors: BERTHOLD, MATTI; GONÇALVES, RICARDO; KNORR, MATTHIAS; LEITE, JOÃO Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 1038 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
69. A Talmudic norms approach to many-valued logic. (12th April 2021) Authors: Lethen, Tim Journal: Journal of logic and computation Issue: Volume 31:Number 5(2021) Page Start: 1195 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
70. A temporal argumentation approach to cooperative planning using dialogues. (13th February 2015) Authors: Pardo, Pere; Godo, Lluís Journal: Journal of logic and computation Issue: Volume 28:Number 3(2018) Page Start: 551 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗