SAT-based proof search in intermediate propositional logics
type: Item
instance of: scholarly article
title: SAT-based proof search in intermediate propositional logics
DOI: 10.1007/978-3-031-10769-6_5
author: Camillo Fiorentini
author: Mauro Ferrari
publication date: 2022-12-07T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7628181
describes a project that uses: fCube
describes a project that uses: IntHistGC
describes a project that uses: intuit
MaRDI profile type: Publication
full work available at URL: 978-3-031-10769-6 5
OpenAlex ID: W4289103993
cites work: Generalized tableau systems for intermediate propositional logics
cites work: Q3128959
cites work: BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
cites work: SAT Modulo Intuitionistic Implications
cites work: Contraction-free sequent calculi for intuitionistic logic
cites work: fCube: An Efficient Prover for Intuitionistic Propositional Logic
cites work: Efficient SAT-based proof search in intuitionistic propositional logic
cites work: A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic
cites work: Terminating calculi for propositional Dummett logic with subformula property
cites work: CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT
cites work: A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description
cites work: Gödel-Dummett counter-models through matrix computation
cites work: Strongly equivalent logic programs
cites work: Solving SAT and SAT Modulo Theories
cites work: Automated Synthesis of Tableau Calculi
cites work: Q4499084
Recommended article: Efficient SAT-based proof search in intuitionistic propositional logic
Recommended article: Proof-search in intuitionistic logic based on constraint satisfaction
Recommended article: A proof-search procedure for intuitionistic propositional logic
Recommended article: Q4533383
Recommended article: Q4934557
Recommended article: Proof-search in hybrid logic
Recommended article: A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic
Recommended article: Q4264720
Recommended article: Q2767024
Recommended article: Induction in saturation-based proof search
description: scientific article; zbMATH DE number 7628181