Cover Image

Coherence Theory in Higher Identity Types Analytical Formalization of the Gnomonic Computation Model

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Lombardi, Roberto
Format:	Recurso digital
Language:	Italian
Published:	Zenodo 2026
Subjects:	Logic Mathematical logic Logical Observation Identifiers Names and Codes
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Logic of the Great, Logic of the Wise 2
by: Fedorchenko, Mikhail
Published: (2026)

Spiritual knowledge - Spiritual Labor of self-development and self-improvement.
by: Fedorchenko, Mikhail
Published: (2026)

Logics
Published: (2024)

Inquisitive Logic
by: Ciardelli, Ivano
Published: (2023)

Factors propelling mathematics learning: insights from a quantitative empirical study
by: Popova, Yuliya, et al.
Published: (2024)

Bulletin of the Section of Logic
Published: (2020)

DYNAMIC FUZZY LOGIC FUNCTOR
by: J. L. Pérez-Silva
Published: (2008)

Reasons for Logic, Logic for Reasons
by: Heyndels, Sybren
Published: (2025)

Automated Reasoning
Published: (2024)

Automated Reasoning
Published: (2024)

Informal Logic
Published: (2008)

Why a Logic is not only its Set of Valid Inferences
by: Eduardo Barrio
Published: (2021)

Geometric theories for real number algebra without sign test or dependent choice axiom
by: Lombardi, Henri, et al.
Published: (2024)

Digital Implementation of a Logical Functor on a PLD
by: A. A. Vega-Ramírez
Published: (2011)

Consumer Happiness in the Purchase of Electric Vehicles: a Fuzzy Logic Model
by: Fernando Lámbarry-Vilchis
Published: (2025)

Unlocking Collaboration: How Swinburne Leverages Research Link Data and PIDs for Strategic Partnerships
by: Aryani, Amir
Published: (2025)

Formal model theory and higher topology
by: Ivan Di Liberti
Published: (2024)

Formal Model Theory & Higher Topology
by: Di Liberti, Ivan
Published: (2020)

Fitting Description Logic Ontologies to ABox and Query Examples
by: Funk, Maurice, et al.
Published: (2025)

On Structures of Sign‐Boundary and Diagonal Vacancy‐Type Standard Contradictions
by: Xingxing He, et al.
Published: (2026)

Graphical Insights and Applications of Fractional Minkowski and Fejér‐Hermite‐Hadamard Type Inequalities
by: Zeeshan Anwar, et al.
Published: (2026)

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
by: Altuntas, Alper, et al.
Published: (2025)

The Batesonian Completeness Conjecture: A Universal Framework for Mathematical Resolution via Recursive Type Arithmetic and Frame Ecology
by: Kevin Fathi
Published: (2025)

Deriving the Born Rule from Logical Constraint: A Logic Realism Theory Approach
by: Longmire, James (JD)
Published: (2026)

Tableau Methods for Propositional Logic and Term Logic
by: Jarmużek, Tomasz
Published: (2024)

A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
by: Fuchser, Janne, et al.
Published: (2025)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
by: Lyon, Tim S.
Published: (2022)

Logic-based analogical proportions
by: Antić, Christian
Published: (2024)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
by: Lyon, Tim S., et al.
Published: (2023)

Thémata
Published: (2021)

Studia Semiotyczne
Published: (2021)

Philosophies
Published: (2017)

Makkai's lost proof of projectivity of N in the free topos
by: Forssell, Henrik, et al.
Published: (2026)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
by: Feller, Thomas, et al.
Published: (2023)

Equilibrium Logic: A Computable Three-Valued System for Self-Referential Undecidability
by: Mikhail, Vasilyev
Published: (2025)

Primitive Recursive Dependent Type Theory
by: Buchholtz, Ulrik, et al.
Published: (2024)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)

Existential Positive Transductions of Sparse Graphs
by: Mählmann, Nikolas, et al.
Published: (2026)

Characterizations of monadically dependent tree-ordered weakly sparse structures
by: Buffière, Hector, et al.
Published: (2026)

Advances in Algorithmic Meta Theorems
by: Siebertz, Sebastian, et al.
Published: (2024)