Efficient SAT-based proof search in intuitionistic propositional logic
type: Item
instance of: scholarly article
title: Efficient SAT-based proof search in intuitionistic propositional logic
DOI: 10.1007/978-3-030-79876-5_13
author: Camillo Fiorentini
publication date: 2021-12-01T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7437081
MaRDI profile type: Publication
full work available at URL: 978-3-030-79876-5 13
OpenAlex ID: W3178727120
cites work: Q3128959
cites work: SAT Modulo Intuitionistic Implications
cites work: Contraction-free sequent calculi for intuitionistic logic
cites work: Theory and Applications of Satisfiability Testing
cites work: fCube: An Efficient Prover for Intuitionistic Propositional Logic
cites work: Simplification Rules for Intuitionistic Propositional Tableaux
cites work: Contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models
cites work: Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic
cites work: A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic
cites work: A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description
cites work: Solving SAT and SAT Modulo Theories
cites work: The ILTP problem library for intuitionistic logic
cites work: Q4499084
Recommended article: SAT-based proof search in intermediate propositional logics
Recommended article: Proof-search in intuitionistic logic based on constraint satisfaction
Recommended article: Q4533383
Recommended article: A proof-search procedure for intuitionistic propositional logic
Recommended article: A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic
Recommended article: Q3408146
Recommended article: Q4501574
Recommended article: Q4375764
Recommended article: Q4264720
Recommended article: Logic-independent proof search in logical frameworks (short paper)
description: scientific article; zbMATH DE number 7437081