A novel framework for systematic propositional formula simplification based on existential graphs

Research output: Contribution to journal › Article › peer-review

Original language	English
Journal	Theory and Practice of Logic Programming
DOIs	https://doi.org/10.1017/S1471068424000140
Publication status	Published - 13 Jun 2025

Keywords

@article{44259b0db6d94040b56d648f9992015d,

title = "A novel framework for systematic propositional formula simplification based on existential graphs",

keywords = "Equivalence-preserving preprocessing, Propositional logic, Existential graphs, Knowledge representation",

author = "{Franc{\`e}s de Mas}, Jordina and {Kuster Filipe Bowles}, Juliana",

note = "Funding: Bowles is partially supported by Austrian FWF Meitner Fellowship M-3338 N.",

year = "2025",

month = jun,

day = "13",

doi = "10.1017/S1471068424000140",

language = "English",

journal = "Theory and Practice of Logic Programming",

issn = "1471-0684",

publisher = "Cambridge University Press",

}

TY - JOUR

T1 - A novel framework for systematic propositional formula simplification based on existential graphs

AU - Francès de Mas, Jordina

AU - Kuster Filipe Bowles, Juliana

N1 - Funding: Bowles is partially supported by Austrian FWF Meitner Fellowship M-3338 N.

PY - 2025/6/13

Y1 - 2025/6/13

KW - Equivalence-preserving preprocessing

KW - Propositional logic

KW - Existential graphs

KW - Knowledge representation

U2 - 10.1017/S1471068424000140

DO - 10.1017/S1471068424000140

M3 - Article

SN - 1471-0684

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

ER -