Skip to content
Descubridor Institucional UMAR
Inicio
Búsqueda avanzada
Explorar
Inicio
Búsqueda avanzada
Explorar
Login
Language
English
Deutsch
Español
Français
Italiano
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Equilibrium Logic: A Computable Three-Valued System for Self-Referential Undecidability
Equilibrium Logic: A Computable Three-Valued System for Self-Referential Undecidability
Fuente:
Zenodo
Saved in:
Bibliographic Details
Main Author:
Mikhail, Vasilyev
Format:
Recurso digital
Language:
English
Published:
Zenodo
2025
Subjects:
equilibrium logic
Three-valued logic
Self-reference
Undecidability
Formal systems
AI alignment
Interpretability
Meta-reasoning
Computable logic
Consistency without completeness
Superintelligence
Foundations of artificial general intelligence
Logical uncertainty
Liar paradox
Gödelian limitations
Computational semantics
Online Access:
Acceder al recurso
Tags:
Add Tag
No Tags, Be the first to tag this record!
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Holdings
Description
Comments
Similar Items
Staff View
Internet
https://doi.org/10.5281/zenodo.16752118
Similar Items
The First Rule of Stoic Logic and its Relationship with the Indemonstrables
by: Miguel López-Astorga
Published: (2016)
The Simon Gillmore Paradox: A Dialogical Trap of Self-Confirming Negation
by: Gillmore, Simon Benjamin
Published: (2025)
Remarks on the Idea of Non-monotonic (Diagrammatic) Inference
by: J. Martín Castro-Manzano
Published: (2017)
Solutions to Classical Philosophical Paradoxes: A Systematic Analysis
by: raman, chetan, et al.
Published: (2025)
Containment and Completeness: Revising Inclusion as a Structural Operator in Logic, Mathematics, and Science
by: Johnson, Bruce
Published: (2025)