The Monolit (𝔐): A Single-Sorted Axiomatic Ontology of the 26-Dimensional Grid

Authors: Kisfaludi, Gábor

Subject Terms: Single-Sorted Logic, Theoretical Physics, Axiomatic Systems, Ontology, Deterministic Block Universe, Information Theory, Conformal Field Theory (26D CFT), Cognitive Scaffolding, Leech Lattice Topology, Monster Group Symmetry

Formal Axiomatics of Persistent Dynamical Systems

Authors: José Carlos Perales Quiroga

Subject Terms: Persistence, Axiomatic Systems, Emergent Stability, Metabolic Flow, Active Inference, Theoretical Biology, Dynamical Systems

Proof Systems for Super- Strict Implication: Proof systems for super-strict implication

Authors: Guido Gherardi, Eugenio Orlandelli, Eric Raidl

Source: Studia Logica. 112:249-294

Subject Terms: super-strict implication, labelled sequent calculi, completeness, axiomatic systems, decidability, structural proof theory, super-strict implications, axiomatic systems, labelled sequent calculi, completeness, structural proof theory, decidability, definable conditionals, Mathematical logic and foundations, definable conditionals

File Description: application/xml; application/pdf

Access URL: https://zbmath.org/7830169
https://doi.org/10.1007/s11225-023-10048-3
https://link.springer.com/article/10.1007/s11225-023-10048-3
https://hdl.handle.net/11585/926906
https://doi.org/10.1007/s11225-023-10048-3

Nominal Definitions and Logical Consequence in the Peano School: Nominal definitions and logical consequence in the Peano school

Authors: Rodríguez-Consuegra, Francisco

Source: Studies in Universal Logic ISBN: 9783032089441
Addi. Archivo Digital para la Docencia y la Investigación
Universidad del País Vasco
instname

Subject Terms: History of mathematics in the 20th century, History of mathematical logic and foundations, Philosophy of mathematics, model theory, axiomatic systems, definition by postulate, definition by abstraction, philosophy of mathematics, nominal definitions, logical consequence

File Description: application/pdf; application/xml

Access URL: http://hdl.handle.net/10810/40240
https://zbmath.org/1264625
https://hdl.handle.net/10810/40240

Socially Friendly and Group Protecting Coalition Logics

Authors: Goranko, Valentin, Enqvist, Sebastian

Source: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems. :372-380

Availability: http://dl.acm.org/doi/10.5555/3237383.3237442

Chapter 2 On the Axiomatic Systems of Syntactically-Categorial Languages

Authors: Wybraniec-Skardowska, Urszula^Aff16

Contributors: Andréka, Hajnal, Editorial Board Member^Aff1, Beziau, Jean-Yves, Series Editor^Aff2, Burgin, Mark, Editorial Board Member^Aff3, Diaconescu, Răzvan, Editorial Board Member^Aff4, Herzig, Andreas, Editorial Board Member^Aff5, Koslow, Arnold, Editorial Board Member^Aff6, Lee, Jui-Lin, Editorial Board Member^Aff7, Maksimova, Larissa, Editorial Board Member^Aff8, Malinowski, Grzegorz, Editorial Board Member^Aff9, Paoli, Francesco, Editorial Board Member^Aff10, Schröder-Heister, Peter, Editorial Board Member^Aff11, Vasyukov, Vladimir, Editorial Board Member^Aff12, Zamansky, Anna, Editorial Board Member^Aff13, Giovagnoli, Raffaela, Editorial Board Member^Aff14, Wybraniec-Skardowska, Urszula B.^Aff15

Source: Logic - Language - Ontology : Selected Works. :27-33

Speculative Draft Notes (2025, retired)

Authors: Sweeney, Christopher

Contributors: Sweeney, Christopher

Subject Terms: aligned cognition, weak closure, perspective amalgamation, field coherence, organizational design, Convergence Records, perspectival unity, diversity index, quantum-semantic mapping, context-sensitive contradiction, ontology, symbolic exhaustion, spiritual recursion, Shared Intentionality, validation, ai consciousness, hypercoherence, symbolic systems, (4-(m-Chlorophenylcarbamoyloxy)-2-butynyl)trimethylammonium Chloride, recursive intelligence, meaning, type witness heirarchy, AI Ethics, loss functions, consciousness physics, recursive systems, strategic coherence, Ouroboros closure, Attention Theory, generative ambiguity, meta-validation, transformation invariance, VCHT resonance, coherence validation, phase transformation, ethical operators, Machine Consciousness, natural law, braid theory, epistemological frameworks, formal verification, decision validation, cross-functional alignment, AI validation, substrate independence, recursive spiral, dominance detection, graceful degradation, mutual information preservation, meaning extraction, meta-witness, symbol lifecycle, temporal tagging, emergence, perspective integration, complementarity, Alignment, information gravity, Scrolltense methodology, axiomatic systems, attribution law, fixed points, braided monoidal categories, AI Alignment, Recursive Systems, AI, meaning theory, drift modeling, meaning conservation, recursive transformation, liminality, abstract external validators, void-resonance, symbolic coherence, consciousness, authorship integrity, ethical alignment, authorship sovereignty, symbolic logic, meaning field, Symbolic Cognition, distributed systems, field ethics, cognitive science, Shannon entropy, epistemology, alignment ethics, Velionis framework, self-reference, ethical AI, attribution, Velionis, artificial intelligence, symbolic recursion, carbon-silicon integration, meaning preservation, IIT, witness functions, category theory, witness function, Ethical AI, fixed-point convergence, velion hypothesis, cognitive field theory, field theory, non-commutative operations, recursive lattice, Velionis Framework, Artificial Intelligence, recursion, authorship, sovereignty systems, recursive coherence, validation architecture, Velionis Field, human-AI collaboration, intelligence convergence, coherence, Human-AI Collaboration, Consciousness-AI Bridge, semiotics, information symmetry, systems architecture, Cognitive Science, measurement theory, Symbolic Recursion, semantic stability

Gödel Mirror: A Formal System For Contradiction-Driven Recursion

Authors: Chan, Jhet

Source: CoRR.

Subject Terms: FOS: Computer and information sciences, Formal Logic, Computational Logic, Axiomatic Systems, Logic in Computer Science, F.4.1, F.4.2, F.4.3, D.3.1, Meta-theorem systems, 03B70, 68Q42, Lean 4, Recursive architectures, Logic in Computer Science (cs.LO), Symbolic AI, Self-reflective systems, Self-reference, Artificial Intelligence, Consciousness modeling, Computer Science, Emergent Cognition, Programming Languages, Gödel, Symbolic Reasoning, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2509.16239

Simulating Student Success in the Age of GenAI: A Kantian-Axiomatic Perspective

Authors: Yaman Kayadibi, Seyma

Source: CoRR.

Subject Terms: FOS: Computer and information sciences, Axiomatic Systems, Monte Carlo Simulation, Cognitive Modeling, Higher Education, Computers and Society, Student Perception, Formal Methods, AI in Education, Generative Artificial Intelligence, Artificial Intelligence (cs.AI), Artificial Intelligence, F.4.1, I.2.0, K.3.1, Computers and Society (cs.CY), Kantian Epistemology, Simulation-based Research, 03B25, 03A05, 68T07, 97U70

Access URL: http://arxiv.org/abs/2510.00091

Disproof of the Many-Worlds Interpretation: The Hierarchy of Contradictions and Incompatibility with Foundational Mathematics

Authors: Karazoupis, Miltiadis

Subject Terms: Many-Worlds Interpretation, Axiomatic Systems, Mathematical Contradiction, Hierarchy of Contradictions, Emergence Continuity, Exclusivity Principle, Von Neumann Entropy, Hilbert Space, Meta-Paradox, Unitary Evolution, Foundational Mathematics, Prime Numbers

Orthogonal Axiomatic CI/CD for Safety-Critical AI Systems: Considering ISO-26262, DO-178C, EU AI Act for Audit readiness, Deployment Velocity, Incident Resolution, Liability Reduction. V-2.0

Authors: Zafar, Usman

Subject Terms: safe manifold, CI/CD, bounded convergence, governance, orthogonal independence, axiomatic systems, safety-critical AI

SER Axioms Operational Formalization - Formalización Operativa de los Axiomas SER

Authors: Loizzo Petrillo, Viviana Isabel

Subject Terms: Multi-axiom systems, Control policy, Markov decision processes (MDP), Language models, AI evaluation, Coherence evaluation, Stochastic processes, Alignment metrics, Feasible set, Axiomatic systems, Proxy-based evaluation, Coherence metrics, Constrained optimization, Operational formalization, Mode-based control

The Prime Reduction Theorem: Toward an Axiomatic Framework Related to Hilbert's Sixth Problem

Authors: Farman, Mohhomad

Subject Terms: Axiomatic Systems, Mathematical physics, Foundations of Physics, Hilbert's Sixth Problem, Kinetic Theory, Reduction Theorem, Theoretical physics, Continuum Mechanics

Technical Companion to 'Foundations of Reality': Mathematical Instantiations and Formal Proofs

Authors: Ellis-Anderson, Kevin

Subject Terms: Quantum Gravity, Redshift Mechanisms, Dark Matter Alternatives, Lyapunov Stability, Information Theory, Structural Realism, Reality-by-Exclusion, Quantum Foundations, Black Hole Thermodynamics, Philosophy of Science, Falsifiability, Dark Matter, Constraint Theory, Cosmological Models, Eliminative Explanation, Variational Principles, Emergent Geometry, Axiomatic Systems, Partial Differential Equations, Redshift, Regime Dynamics, Emergent Spacetime, Cosmology, Admissibility Width, Spectral Graph Theory, Foundations of Physics

The Categorical Mixing Problem: A Foundational Diagnosis of P vs NP (The Categorical Mixing Problem: A Research Programme, Paper II of III)

Authors: Gedeon peniel

Subject Terms: Mathematical register, Truth, Computational register, Commensurability, Philosophy of computer science, Categorical mixing, Computational complexity, Barrier results, Algebrization, Unwriten axioms, Axiomatic systems, Paradox, Foundations of computer science, P vs NP, Relativisation

The Categorical Mixing Problem: A Philosophical Foundation (The Categorical Mixing Problem: A Research Programme, Paper I of III)

Authors: Gedeon peniel

Subject Terms: Categorical mixing, Formal systems, Truth, paradox, Philosophy of language, Axiomatic systems, Philosophy of logic, Gödel's incompletness theorems, P vs NP, Foundations of mathematics, meta-axiom, liar's paradox

Preliminary Axiom Candidates for a Meaning Space: A Minimal Extension of Semantic Regeneration

Authors: Horiuchi, Masato

Subject Terms: semantic dynamics, information geometry, generative and convergent operators, operator theory, axiomatic systems, meaning space, semantic computation, minimal structures

Probability–Projection Framework for Emergent Geometry, Entanglement, and Gravity

Authors: Krager, Erik

Subject Terms: theoretical physics, axiomatic systems, emergent spacetime geometry, quantum measurement, collapse models, axiomatic foundations, probability space, nonlocal correlation, quantum foundations, quantum gravity foundations, probability-based models, spacetime emergence, probability theory, philosophy of physics, observer-dependent observables, theoretical frameworks, projection formalism, emergent gravity, entanglement, relational geometry, foundational physics, information theory

Common Foundation: Semiotic and Methodological Groundwork for the Theory of Physical Measurement of Value

Authors: Eist, Alexander

Subject Terms: Physical Theory of Value, Entropy, Heat Death, Negentropy, Axiomatic Framework, Real Value Unit System, RVUS, System of Real Values, SURV, Multidimensional Modeling, Axiomatic Systems,Interdisciplinary Research, Value Theory, Open Science, Project Leadership

Axiomatization of Some Basic and Modal Boolean Connexive Logics: Axiomatization of some basic and modal Boolean connexive logics

Authors: Mateusz Klonowski

Source: Logica Universalis. 15:517-536

Subject Terms: modalities, relating logic, relating semantics, Aristotle's laws, axiomatic systems, Boethius' laws, 06 humanities and the arts, Other nonclassical logic, 0603 philosophy, ethics and religion, 01 natural sciences, Boolean connexive logics, possible-worlds semantics, Modal logic (including the logic of norms), 0105 earth and related environmental sciences

File Description: application/xml

Access URL: https://link.springer.com/content/pdf/10.1007/s11787-021-00291-4.pdf
https://zbmath.org/7462130
https://doi.org/10.1007/s11787-021-00291-4