Theory of computation

sort by:

Forvard step of Logic

dataset posted on 2025-11-18

Logic cognition

presentation posted on 2025-11-18

The Intersecting Arbitrage Nexus: Mapping Liquidity Discrepancies and Digital Footprint Volatility as Correlated Indicators of Systemic Inefficiency

The Intersecting Arbitrage Nexus: Mapping Liquidity Discrepancies and Digital Footprint Volatility as Correlated Indicators of Systemic Inefficiency

journal contribution posted on 2025-11-14

<b>A Hermetic Framework for Transformation-Sensitive Knowledge</b>

<b>A Hermetic Framework for Transformation-Sensitive Knowledge</b>

preprint posted on 2025-10-31

Elias Rubenstein

Logic Syllogistic reasoning Algorithms

Logic Syllogistic reasoning Algorithms

presentation posted on 2025-10-29

<b><i>The Veronica X Pro </i></b><b><i>Framework: A Quantum-Neural Architecture as a Precursor to Conscious AI and Brain-Computer Interfaces</i></b>

<b><i>The Veronica X Pro </i></b><b><i>Framework: A Quantum-Neural Architecture as a Precursor to Conscious AI and Brain-Computer Interfaces</i></b>

software posted on 2025-10-26

Prime Weights and Spectra

Prime Weights and Spectra

preprint posted on 2025-10-26

哥德巴赫猜想的三路径形式化证明

哥德巴赫猜想的三路径形式化证明

preprint posted on 2025-10-20

On Unprecise Numbers

On Unprecise Numbers

preprint posted on 2025-10-20

The Primordial Logic Gate:
Pattern × Intent × Presence as the Recursive Origin of Reality

The Primordial Logic Gate: Pattern × Intent × Presence as the Recursive Origin of Reality

preprint posted on 2025-10-15

Logika liar vs logika rasional

Logika liar vs logika rasional

book posted on 2025-10-07

The Logical Insurrection: FOL Languages as the Stealth Architects of Post-Human Discovery

The Logical Insurrection: FOL Languages as the Stealth Architects of Post-Human Discovery

software posted on 2025-10-07

Vladislav Solodkiy

Artifact for Safe Temperature Regulation: Formally Verified and Real-World Validated

Artifact for Safe Temperature Regulation: Formally Verified and Real-World Validated

dataset posted on 2025-09-26

Fundamentals, References and Applications of CTCE, Gebit, Proto-Gebit, TBA and TBA-Universal

Fundamentals, References and Applications of CTCE, Gebit, Proto-Gebit, TBA and TBA-Universal

dataset posted on 2025-09-05

Begnomar S. Porto

Artifact file of the paper "Automata Learning -- Expect Delays!"

software posted on 2025-08-22

P Equals NP: An Integrated Framework of Three Hypotheses, Temporal Division, and Neglected Time

P Equals NP: An Integrated Framework of Three Hypotheses, Temporal Division, and Neglected Time

dataset posted on 2025-08-20

DURGHAM QARALLEH

Securing the Future of IVR: AI-Driven Innovation with Agile Security, Data Regulation, and Ethical AI Integration

Securing the Future of IVR: AI-Driven Innovation with Agile Security, Data Regulation, and Ethical AI Integration

journal contribution posted on 2025-08-11

<b>Una Demostración de la Conjetura Fuerte de Goldbach</b>

<b>Una Demostración de la Conjetura Fuerte de Goldbach</b>

preprint posted on 2025-08-10

The Lesser Gamble: A Doctrine for Navigating a Future Foreclosed by Myopic Optimization

The Lesser Gamble: A Doctrine for Navigating a Future Foreclosed by Myopic Optimization

thesis posted on 2025-08-06

A General Inductive Proof of Hadwiger’s Conjecture Using Boundary Constraints with Deep Verification Report By ChatGPT

A General Inductive Proof of Hadwiger’s Conjecture Using Boundary Constraints with Deep Verification Report By ChatGPT

preprint posted on 2025-08-04

On Axiomatic Independence and the P vs. NP Problem

On Axiomatic Independence and the P vs. NP Problem

thesis posted on 2025-07-30

An Extension To Peano's Axioms I-Addition, multiplication, subtraction, division and exponentiation.pdf

An Extension To Peano's Axioms I-Addition, multiplication, subtraction, division and exponentiation.pdf

preprint posted on 2025-07-27

Truth Maintenance in Knowledge Representation Learning

Truth Maintenance in Knowledge Representation Learning

journal contribution posted on 2025-07-27

Oresme

dataset posted on 2025-07-08

collection:
Logic and Philosophy Presentations (Marian Calborean)

posted on 2025-06-28

Marian Călborean

From 'slave water' to 'soup': The linguistic evolution of a culinary term

From 'slave water' to 'soup': The linguistic evolution of a culinary term

dataset posted on 2025-06-23

Aleksey Pogrebnoj-Alexandroff

Differentiation-Based Logic for Modality and Intensionality

Differentiation-Based Logic for Modality and Intensionality

preprint posted on 2025-06-10

<b>Psy-Tech LDEM – Volúmenes I y II: Protocolo Psicológico para Misiones Espaciales de Larga Duración (LDEM) y Entornos ICE con Aplicación del Modelo EFQM 2025</b>

<b>Psy-Tech LDEM – Volúmenes I y II: Protocolo Psicológico para Misiones Espaciales de Larga Duración (LDEM) y Entornos ICE con Aplicación del Modelo EFQM 2025</b>

dataset posted on 2025-06-03

Héctor Herrera Yuste

Resolution Matrix Semantics for Deontic Logic

Resolution Matrix Semantics for Deontic Logic

preprint posted on 2025-06-01

Andrey Kuznetsov

Everything, Everywhere, All at Once - The Fundamental Computational Structure of The Universe

Everything, Everywhere, All at Once - The Fundamental Computational Structure of The Universe

thesis posted on 2025-05-23

The Construction of Meaning in Human-AI Dialogue: An Interdisciplinary Investigation

The Construction of Meaning in Human-AI Dialogue: An Interdisciplinary Investigation

journal contribution posted on 2025-05-18

Michael Neuberger

Algebraic Realizations of the 0S-A-U Triad: The A1-A8 Proposal and the N=5 Modeled Adjusted Triadic System

Algebraic Realizations of the 0S-A-U Triad: The A1-A8 Proposal and the N=5 Modeled Adjusted Triadic System

preprint posted on 2025-05-12

Symmetric Dual Arithmetic (SDA): A Proposed Algebraic Framework

Symmetric Dual Arithmetic (SDA): A Proposed Algebraic Framework

online resource posted on 2025-05-06

Constructive Ethics Based on Proof Layer 1

Constructive Ethics Based on Proof Layer 1

preprint posted on 2025-05-06

Oscillatory Field Genesis: The Emergent Architecture of Spacetime, Matter, and Memory

Oscillatory Field Genesis: The Emergent Architecture of Spacetime, Matter, and Memory

dataset posted on 2025-05-05

Conceptual Evolution in AI Governance: Frameworks from EEGRA to HCCA

Conceptual Evolution in AI Governance: Frameworks from EEGRA to HCCA

preprint posted on 2025-05-02

On Possession: A Comprehensive Guide to P vs NP

On Possession: A Comprehensive Guide to P vs NP

journal contribution posted on 2025-04-21

<b>Collisional Thinking Theory (CTT): The Role of Waste of Thinking by Jalal Khawaldeh</b>

<b>Collisional Thinking Theory (CTT): The Role of Waste of Thinking by Jalal Khawaldeh</b>

preprint posted on 2025-04-18

jalal khawaldeh

<b>G-CCACS: A Conceptual Vision Bridging Policy and Blueprints for Trustworthy High-Stakes AI</b>

<b>G-CCACS: A Conceptual Vision Bridging Policy and Blueprints for Trustworthy High-Stakes AI</b>

thesis posted on 2025-04-08

Calborean, Dobrescu 2025 -Trees, algorithms and logics II. Theoretical issues raised by a full theorem prover for Graham Priest’s An Introduction to Non-classical Logic

Calborean, Dobrescu 2025 -Trees, algorithms and logics II. Theoretical issues raised by a full theorem prover for Graham Priest’s An Introduction to Non-classical Logic

presentation posted on 2025-03-07