Image de couverture de livre

Universal Algebra in UniMath

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Amato, Gianluca, Calosci, Matteo, Maggesi, Marco, Brogi, Cosimo Perini
Format:	Preprint
Publié:	2021
Sujets:	Logic in Computer Science Logic 68V15, 03B38, 03B35, 08A70 I.2.3; F.4.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Universal Algebra in UniMath
par: Amato, Gianluca, et autres
Publié: (2020)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
par: Farmer, William M., et autres
Publié: (2023)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
par: Farmer, William M.
Publié: (2026)

Encoding argumentation frameworks with set attackers to propositional logic systems
par: Tang, Shuai, et autres
Publié: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
par: Tang, Shuai
Publié: (2025)

Mechanised uniform interpolation for modal logics K, GL, and iSL
par: Férée, Hugo, et autres
Publié: (2024)

Higher-Order Pattern Unification Modulo Similarity Relations
par: Dundua, Besik, et autres
Publié: (2025)

Which are the True Defeasible Logics?
par: Maher, Michael J.
Publié: (2024)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
par: Gylterud, Håkon Robbestad, et autres
Publié: (2020)

The Golden Path to Guarded Monotone Strict NP
par: Barsukov, Alexey, et autres
Publié: (2023)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
par: Wang, Zili, et autres
Publié: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
par: Kosaian, Katherine, et autres
Publié: (2024)

A novel framework for systematic propositional formula simplification based on existential graphs
par: de Mas, Jordina Francès, et autres
Publié: (2024)

Univalent Material Set Theory
par: Gylterud, Håkon Robbestad, et autres
Publié: (2023)

Dependent Types Simplified
par: Bice, Tristan
Publié: (2025)

On the Complexity and Properties of Preferential Propositional Dependence Logic
par: Sauerwald, Kai, et autres
Publié: (2025)

Representation Theorems for Cumulative Propositional Dependence Logics
par: Kontinen, Juha, et autres
Publié: (2026)

On the Complexity of Entailment for Cumulative Propositional Dependence Logics
par: Sauerwald, Kai, et autres
Publié: (2026)

Examples and counterexamples of injective types
par: de Jong, Tom, et autres
Publié: (2026)

Continuous and algebraic domains in univalent foundations
par: de Jong, Tom, et autres
Publié: (2024)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
par: Wright, Craig Steven
Publié: (2025)

NF is Consistent
par: Holmes, M. Randall, et autres
Publié: (2015)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
par: Koshkin, Sergiy
Publié: (2024)

First-Order Coalition Logic
par: Catta, Davide, et autres
Publié: (2025)

Encoding Argumentation Frameworks to Propositional Logic Systems
par: Tang, Shuai, et autres
Publié: (2025)

Approximate Axiomatization for Differentially-Defined Functions
par: Platzer, André, et autres
Publié: (2025)

Two strong undefinability results in inquisitive and team semantics
par: Barbero, Fausto
Publié: (2024)

Normal forms in cubical type theory
par: Huang, Xu
Publié: (2026)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
par: Nakamura, Yuki
Publié: (2026)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
par: Martina, Antoine, et autres
Publié: (2023)

The complexity of being monitorable
par: Camerlo, Riccardo, et autres
Publié: (2026)

Refutability as Recursive as Provability
par: Cattabriga, Paola
Publié: (2024)

Type Theory with Explicit Universe Polymorphism (revised and extended version)
par: Bezem, Marc, et autres
Publié: (2022)

Inclusion with repetitions and Boolean constants -- implication problems revisited
par: Häggblom, Matilda
Publié: (2025)

Axiomatization of approximate exclusion
par: Häggblom, Matilda
Publié: (2024)

Axiomatizing approximate inclusion
par: Häggblom, Matilda
Publié: (2025)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
par: Leme, Renato, et autres
Publié: (2023)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
par: Hausmann, Daniel, et autres
Publié: (2022)

Defeasible Reasoning via Datalog$^\neg$
par: Maher, Michael J.
Publié: (2021)

A New Overture to Classical Simple Type Theory, Ketonen-type Gentzen and Tableau Systems
par: Miwa, Tadayoshi, et autres
Publié: (2026)