:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bhayat, Ahmed, Suda, Martin
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science 68V15, 03B35, 03B16
Accès en ligne:	https://arxiv.org/abs/2407.05208
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem
par: Lau, Gabriel Rongyang
Publié: (2026)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
par: Wang, Shuai
Publié: (2024)

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

A proof-theoretical approach to some extensions of first order quantification
par: Allègre, Loïc, et autres
Publié: (2024)

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

The Network Structure of Mathlib
par: Li, Xinze, et autres
Publié: (2026)

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

Equivalence of finite non-deterministic logical matrices is undecidable
par: Caleiro, Carlos, et autres
Publié: (2024)

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

Proof-theoretic methods in quantifier-free definability
par: Kocsis, Zoltan A.
Publié: (2023)

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

Exploring P versus NP
par: Tang, Jian-Gang
Publié: (2022)

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

Quantitative Linear Logic
par: Capucci, Matteo, et autres
Publié: (2026)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
par: Fusco, Ludovico, et autres
Publié: (2025)

A Constructive Proof of Rice's Theorem and the Halting Problem via Hilbert's Tenth Problem
par: Brossard, Jonathan
Publié: (2026)

A Minimal Substitution Basis for the Kalmár Elementary Functions
par: Prunescu, Mihai, et autres
Publié: (2025)

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

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
par: Walsh, Sean
Publié: (2024)

Do not throw out the baby: Clarithmetics as alternatives to weak arithmetics
par: Japaridze, Giorgi
Publié: (2026)

LF: a Foundational Higher-Order-Logic
par: Goodsell, Zachary, et autres
Publié: (2024)

A propositional cirquent calculus for computability logic
par: Japaridze, Giorgi
Publié: (2024)

A Reflection Principle for Potential Infinite Models of Type Theory
par: Eberl, Matthias
Publié: (2024)

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

Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives
par: Wiesnet, Franziskus
Publié: (2025)