Image de couverture de livre

Intuitionistic Propositional Logic in Lean

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Trufaş, Dafina
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Matching logic -- a new axiomatization
par: Leuştean, Laurenţiu, et autres
Publié: (2025)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2022)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

On the Cut Elimination of Weak Intuitionistic Tense Logic
par: Wang, Yiheng, et autres
Publié: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
par: Buzoku, Yll, et autres
Publié: (2025)

Cut-free Deductive System for Continuous Intuitionistic Logic
par: Geoffroy, Guillaume
Publié: (2025)

Skolemisation for Intuitionistic Linear Logic
par: Bruni, Alessandro, et autres
Publié: (2024)

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
par: An, Chenyang, et autres
Publié: (2024)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
par: de Groot, Jim, et autres
Publié: (2024)

Local Intuitionistic Modal Logics and Their Calculi
par: Balbiani, Philippe, et autres
Publié: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
par: Gheorghiu, Alexander V., et autres
Publié: (2023)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

On Propositional Dynamic Logic and Concurrency
par: Acclavio, Matteo, et autres
Publié: (2024)

Propositional Logics for the Lawvere Quantale
par: Bacci, Giorgio, et autres
Publié: (2023)

Some General Completeness Results for Propositionally Quantified Modal Logics
par: Ding, Yifeng, et autres
Publié: (2024)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
par: Lyon, Tim S.
Publié: (2024)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
par: Lyon, Tim S.
Publié: (2022)

A Proof-theoretic Semantics for Intuitionistic Linear Logic
par: Buzoku, Yll
Publié: (2024)

Effects of the Strict-Tolerant Approach on Intuitionistic and Minimal Logic
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

Collapsing Constructive and Intuitionistic Modal Logics
par: Pacheco, Leonardo
Publié: (2024)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
par: Barenbaum, Pablo
Publié: (2026)

A Fixed-Parameter Study on Propositional Dynamic Logic
par: Hosseinpour, Mohammad Javad, et autres
Publié: (2024)

A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version)
par: Dalmonte, Tiziano, et autres
Publié: (2025)

Intuitionistic monotone modal logic via translation
par: de Groot, Jim
Publié: (2025)

Intuitionistic modal logics: a minimal setting
par: Balbiani, Philippe, et autres
Publié: (2025)

Extending Defeasibility for Propositional Standpoint Logics
par: Leisegang, Nicholas, et autres
Publié: (2025)

Loop-Checking and Counter-Model Extraction for Intuitionistic Tense Logics via Nested Sequents
par: Lyon, Tim S.
Publié: (2026)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
par: Férée, Hugo, et autres
Publié: (2026)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
par: Cabalar, Pedro, et autres
Publié: (2026)

Interpolation in Classical Propositional Logic
par: Koopmann, Patrick, et autres
Publié: (2025)

Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic
par: Díaz-Caro, Alejandro, et autres
Publié: (2024)

Intuitionistic BV (Extended version)
par: Acclavio, Matteo, et autres
Publié: (2025)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
par: Bednarczyk, Bartosz
Publié: (2023)

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 Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
par: Díaz-Caro, Alejandro, et autres
Publié: (2025)

Precision on Demand: Propositional Logic for Event-Trigger Threshold Regulation
par: Tang, Valdemar, et autres
Publié: (2024)

Around Classical and Intuitionistic Linear Processes
par: Jaramillo, Juan C., et autres
Publié: (2024)