Image de couverture de livre

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Farmer, William M.
Format:	Preprint
Publié:	2026
Sujets:	Logic Logic in Computer Science 00A35, 68T30, 68V20, 68V30, 68V35 (Primary) 03B16, 03B38 (Secondary) F.4.1; I.2.3; I.2.4
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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

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

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

Algorithm and abstraction in formal mathematics
par: Macbeth, Heather
Publié: (2024)

A Modular First Formalisation of Combinatorial Design Theory
par: Edmonds, Chelsea, et autres
Publié: (2021)

Oruga: An Avatar of Representational Systems Theory
par: Raggi, Daniel, et autres
Publié: (2025)

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

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

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

Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
par: Firsching, Moritz, et autres
Publié: (2026)

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

Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
par: Raggi, Daniel, et autres
Publié: (2025)

Anatomy of a Formal Proof
par: Avigad, Jeremy, et autres
Publié: (2024)

Logical Modalities within the European AI Act: An Analysis
par: Lawniczak, Lara, et autres
Publié: (2025)

Artifical intelligence and inherent mathematical difficulty
par: Dean, Walter, et autres
Publié: (2024)

A Higher-Order Vampire (Short Paper)
par: Bhayat, Ahmed, et autres
Publié: (2024)

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)

Formalizing Pick's Theorem in Isabelle/HOL
par: Binder, Sage, et autres
Publié: (2024)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
par: Donadello, Ivan, et autres
Publié: (2024)

Varieties of Distributed Knowledge
par: Galimullin, Rustam, et autres
Publié: (2025)

Normative Conditional Reasoning as a Fragment of HOL
par: Parent, Xavier, et autres
Publié: (2023)

Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
par: Edmonds, Chelsea, et autres
Publié: (2023)

Formalising New Mathematics in Isabelle: Diagonal Ramsey
par: Paulson, Lawrence C
Publié: (2025)

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

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

Classification of Covering Spaces and Canonical Change of Basepoint
par: Wemmenhove, Jelle, et autres
Publié: (2024)

Single-set cubical categories and their formalisation with a proof assistant (extended version)
par: Malbos, Philippe, et autres
Publié: (2024)

A convergence law for continuous logic and continuous structures with finite domains
par: Koponen, Vera
Publié: (2025)

Remarks on Primitive Regulation
par: Rosko, Milan
Publié: (2026)

Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization
par: Incatasciato, Guillermo L., et autres
Publié: (2024)

Universal truth of operator statements via ideal membership
par: Hofstadler, Clemens, et autres
Publié: (2022)

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
par: Grosser, Marvin, et autres
Publié: (2026)

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

A formalization of Borel determinacy in Lean
par: Manthe, Sven
Publié: (2025)

Remote Verification System for Mizar Integrated with Emwiki
par: Kai, Toshiki, et autres
Publié: (2024)

Tao's Equational Proof Challenge Accepted (Technical Report)
par: Kondylidou, Lydia, et autres
Publié: (2026)

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
par: Sochański, Michał, et autres
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)