Changing the logic without changing the subject: the case of computability

DOI10.1093/LOGCOM/EXAE015MaRDI QIDQ6915772zbMATH OpenFDO

Authors Francisco N. MartÍnez-Aviña

Publication date 15 October 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAE015

zbMATH Keywords

category theorycomputabilitynon-classical theoriesparaconsistencystructural properties

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Defining effectiveness using finite sets. A study on computability
• Exploring Categorical Structuralism
• From (paraconsistent) topos logic to universal (topos) logic
• How to be a structuralist all the way down
• scientific article; zbMATH DE number 3825806 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 53544 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 1913781 (Why is no real title available?)
• scientific article; zbMATH DE number 782632 (Why is no real title available?)
• scientific article; zbMATH DE number 7599486 (Why is no real title available?)
• Inconsistent geometry
• Is there an inconsistent primitive recursive relation?
• Mathematical pluralism
• Paraconsistent computation and dialetheic machines
• Realizability. An introduction to its categorical side
• Rethinking set theory
• Structure in Mathematics and Logic: A Categorical Perspective
• The evil twin: the basics of complement-toposes
• Ultralogic as universal? The Sylvan jungle. Volume 4. With notes and commentaries. With contributions by Edwin Mares, Ross T. Brady and Chris Mortensen. Edited by Zach Weber

Cited in

(1)

• Extending computational trinitarianism

This page was built for publication: Changing the logic without changing the subject: the case of computability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6915772)