Search Results - abstract AND ((axiomatic OR automatic) OR automation) computability AND recursion theory*

Reverse Complexity.

Authors: Asperti, Andrea

Source: Journal of Automated Reasoning; Dec2015, Vol. 55 Issue 4, p373-388, 16p

Subject Terms: COMPLEXITY (Philosophy), MACHINE performance, MATHEMATICAL proofs, MATHEMATICS theorems, AXIOMATIC set theory

Computable classifications of continuous, transducer, and regular functions.

Authors: Franklin, Johanna N.Y. Hölzl, Rupert Melnikov, Alexander et al.

Source: Theoretical Computer Science. Mar2025, Vol. 1032, pN.PAG-N.PAG. 1p.

Subject Terms: *RECURSION theory, *BANACH spaces, *CONTINUOUS functions, *TRANSDUCERS, *CLASSIFICATION

Further N -Frame networking dynamics of conscious observer-self agents via a functional contextual interface: predictive coding, double-slit quantum mechanical experiment, and decision-making fallacy modeling as applied to the measurement problem in humans and AI

Authors: Edwards, Darren J.

Source: Frontiers in Computational Neuroscience; 2025, p1-53, 53p

Subject Terms: LANGUAGE models, ARTIFICIAL intelligence, COGNITIVE bias, QUANTUM operators, COGNITIVE maps (Psychology)

Definibilitas Minimaximi

Authors: Duvalier, Matthew

Subject Terms: Logic, Theoretical mathematics, Mathematics

File Description: application/pdf

Access URL: https://escholarship.org/uc/item/7326h843
https://escholarship.org/content/qt7326h843/qt7326h843.pdf

Intensional Kleene and Rice Theorems for Abstract Program Semantics

Authors: Baldan, Paolo Ranzato, Francesco Zhang, Linpeng

Index Terms: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, F.1.1, F.3.1, text

URL: http://arxiv.org/abs/2105.14579

From Fieldwork to Linguistic Theory

Authors: Gibson, Edward Poliak, Moshe

Resource Type: eBook.

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

On Giving Meanings to Programs.

Authors: Cardone, Felice

Source: Axiomathes: Global Philosophy; Feb2023, Vol. 33 Issue 1, p1-22, 22p

Abstract Hierarchies and Degrees

Authors: Ivanov, Ljubomir L.

Source: The Journal of Symbolic Logic, 1989 Mar 01. 54(1), 16-25.

Access URL: https://www.jstor.org/stable/2275011

Indexed induction–recursion

Authors: Dybjer, Peter Setzer, Anton

Source: Journal of Logic & Algebraic Programming. Jan2006, Vol. 66 Issue 1, p1-49. 49p.

Subject Terms: *MATHEMATICAL induction, *SET theory, *MATHEMATICS, *AXIOMATIC set theory, *AXIOMS

Electrical analysis of logical complexity: an exploratory eeg study of logically valid/invalid deducive inference.

Authors: Salto, Francisco Requena, Carmen Alvarez-Merino, Paula et al.

Source: Brain Informatics; 6/7/2023, Vol. 10 Issue 1, p1-15, 15p

Subject Terms: ELECTROENCEPHALOGRAPHY, ALPHA rhythm, PROBABILITY theory

Formalizing Restriction Categories.

Authors: CHAPMAN, JAMES UUSTALU, TARMO VELTRI, NICCOLÒ

Source: Journal of Formalized Reasoning; 2017, Vol. 10 Issue 1, p1-36, 36p

Subject Terms: AXIOMATIC design, MATRIX analytic methods

Research on a General State Formalization Method from the Perspective of Logic.

Authors: Qiu, Siyuan Xu, Jianfeng

Source: Mathematics (2227-7390); Oct2025, Vol. 13 Issue 20, p3324, 36p

Subject Terms: MODEL theory, INFORMATION theory, SEMANTICS, MATHEMATICAL logic

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Authors: Naoki Kobayashi James Worrell

Resource Type: eBook.

Subjects: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

On Strong and Weak Logics for Paraconsistent Computability.

Authors: Weber, Zach Cano-Jorge, Fernando

Source: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP); Jun2025, Vol. 12 Issue 5, p1349-1381, 33p

Subject Terms: RECURSION theory, ARITHMETIC, LOGIC, MATHEMATICS, VIRTUES

2024 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Iowa State University Ames, IA, USA May 14–17, 2024.

Source: Bulletin of Symbolic Logic; Dec2024, Vol. 30 Issue 4, p547-579, 33p

Subject Terms: DISCRETE mathematics, MATHEMATICAL logic, PROBABILISTIC automata, PHILOSOPHY of science, MATHEMATICAL equivalence, KOLMOGOROV complexity, COMPUTABLE functions, BIPARTITE graphs, TOPOLOGICAL groups

Countability constraints in order-theoretic approaches to computability.

Source: Mathematical Structures in Computer Science; Jun2024, Vol. 34 Issue 6, p1-38, 38p

Subject Terms: TURING machines, RECURSION theory, DENSITY, MACHINERY

On Signifiable Computability: Part II: An Axiomatization of Signifiable Computation and Debugger Theorems.

Authors: Kulyukin, Vladimir A.

Source: Mathematics (2227-7390); Mar2025, Vol. 13 Issue 6, p934, 36p

Subject Terms: RECURSION theory, REAL numbers, COMPUTABLE functions, NUMBER theory, DATA structures

A pathological punctually 1-decidable structure.

Authors: Hammatt, Ellen Turetsky, Dan Melnikov, Alexander G. et al.

Source: Proceedings of the American Mathematical Society; Oct2025, Vol. 153 Issue 10, p4447-4462, 16p

Subject Terms: MATHEMATICAL logic, DECIDABILITY (Mathematical logic), RECURSION theory

Alpha-Structural Recursion and Induction.

Authors: Pitts, Andrew M.

Source: Journal of the ACM; May2006, Vol. 53 Issue 3, p459-506, 48p

Subject Terms: PERMUTATIONS, RECURSION theory, MATHEMATICAL induction, FINITE element method, COMPUTER programming

Exploring the philosophical perspectives of future robots.

Authors: Guilherme, Anthony Costa, José Félix

Source: International Journal of Parallel, Emergent & Distributed Systems; Jan2025, Vol. 40 Issue 1, p21-58, 38p

Subject Terms: PHILOSOPHY of science, SCIENTIFIC method, ARTIFICIAL intelligence, PRINCIPLE (Philosophy), MACHINE learning