Buchumschlag

Equilibrium Logic: A Computable Three-Valued System for Self-Referential Undecidability

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Mikhail, Vasilyev
Format:	Recurso digital
Sprache:	Englisch
Veröffentlicht:	Zenodo 2025
Schlagworte:	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-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The First Rule of Stoic Logic and its Relationship with the Indemonstrables
von: Miguel López-Astorga
Veröffentlicht: (2016)

Remarks on the Idea of Non-monotonic (Diagrammatic) Inference
von: J. Martín Castro-Manzano
Veröffentlicht: (2017)

The Simon Gillmore Paradox: A Dialogical Trap of Self-Confirming Negation
von: Gillmore, Simon Benjamin
Veröffentlicht: (2025)

Containment and Completeness: Revising Inclusion as a Structural Operator in Logic, Mathematics, and Science
von: Johnson, Bruce
Veröffentlicht: (2025)

PARADOX AND ARGUMENTATION FROM RHETORIC TO THE REFINEMENT OF MATHEMATICS
von: Sebastià Serrano
Veröffentlicht: (2016)

Solutions to Classical Philosophical Paradoxes: A Systematic Analysis
von: raman, chetan, et al.
Veröffentlicht: (2025)

Inferences Between Buridan’s Modal Propositions
von: Jonas Dagys
Veröffentlicht: (2022)

Phase Transition of Logic: Experimental Observation of Logical Collapse in Transformer Hidden Spaces
von: Wang, Zhongren
Veröffentlicht: (2025)

Modes of Truth
Veröffentlicht: (2021)

Is Szabolcsi's Logic a Fuzzy Logic?
von: J.-Martín Castro-Manzano
Veröffentlicht: (2025)

Logics
Veröffentlicht: (2024)

Informal Logic
Veröffentlicht: (2008)

Heapness, Homogeneity, and an Asymptotic Reconstruction of the Sorites Paradox
von: Ignatov, Boril
Veröffentlicht: (2026)

Logic Element Explorer
von: khaled HAMIDI
Veröffentlicht: (2023)

A Counting Logic for Trees
von: Everardo Bárcenas
Veröffentlicht: (2015)

LETTER FROM THE EDITORS
von: Andoni Ibarra
Veröffentlicht: (2016)

(Hyper)sequent Calculi for the ALC(S4) Description Logics
von: Juan Pablo Muñoz
Veröffentlicht: (2016)

Illustrating a neural model of logic computations: The case of Sherlock Holmes’ old maxim
von: Eduardo Mizraji
Veröffentlicht: (2016)

Bulletin of the Section of Logic
Veröffentlicht: (2020)

Escritura, archi-escritura e historia A propósito de Derrida y Stiegler
von: Zenia Yébenes Escardó
Veröffentlicht: (2016)

Sémantique formelle: Volume 1
von: Roussarie, Laurent
Veröffentlicht: (2018)

Inquisitive Logic
von: Ciardelli, Ivano
Veröffentlicht: (2023)

The Sorites Meets the Many
von: Ricardo Mena
Veröffentlicht: (2014)

Factors propelling mathematics learning: insights from a quantitative empirical study
von: Popova, Yuliya, et al.
Veröffentlicht: (2024)

A Preliminary Reification of Argument Theory Change
von: Nicolás D. Rotstein
Veröffentlicht: (2008)

CONDITIONALS AND DISJUNCTIONS IN MENTAL-LOGIC THEORY: A RESPONSE TO LIU AND CHOU (2012) AND TO LÓPEZ ASTORGA (2013)
von: David P. O’Brien
Veröffentlicht: (2014)

REAL-AI-Benchmark: Real-World Reasoning and Physical-AI Benchmark Suite
von: Ivković, Jovan
Veröffentlicht: (2026)

Tableau Methods for Propositional Logic and Term Logic
von: Jarmużek, Tomasz
Veröffentlicht: (2024)

retracted
von: Fathi, Kevin
Veröffentlicht: (2025)

An Implementation of Propositional Logic Resolution Applying a Novel Specific Algebra
von: Eduardo Zurek
Veröffentlicht: (2015)

El octágono medieval de Oposición para oraciones con predicados cuantificados
von: Juan Manuel Campos Benítez
Veröffentlicht: (2013)

Frontiers of Combining Systems
Veröffentlicht: (2023)

The logical relations of opposition and how to teach them
von: Miguel LÓPEZ-ASTORGA
Veröffentlicht: (2016)

WHY WAS ALCHOURRÓN AFRAID OF SNAKES?
von: JULIANO S. A. MARANHÃO
Veröffentlicht: (2006)

ON THE POSSIBILITY OF A GENERAL PURGE OF SELF-REFERENCE
von: Lucas Rosemblatt
Veröffentlicht: (2012)

RESPECTING RELEVANCE IN BELIEF CHANGE
von: DAVID MAKINSON
Veröffentlicht: (2006)

NORMS, NORMATIVE UTTERANCES, AND NORMATIVE PROPOSITIONS
von: RISTO HILPINEN
Veröffentlicht: (2006)

Generalized Abstract Argumentation: A First-order Machinery towards Ontology Debugging
von: Martín O. Moguillansky
Veröffentlicht: (2010)

HYBRID SEDIMENT TRANSPORT MODEL FOR THE “LINGUADO” CHANNEL, STATE OF SANTA CATARINA, BRAZIL
von: Edison Conde Perez dos Santos
Veröffentlicht: (2017)

DYNAMIC FUZZY LOGIC FUNCTOR
von: J. L. Pérez-Silva
Veröffentlicht: (2008)