Compactness Theorem for Propositional Logic and Combinatorial Applications

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

Fields of science

@article{caa6cd96c9eb4efcbc76f2603d041138,

title = "Compactness Theorem for Propositional Logic and Combinatorial Applications",

author = "\{Serrano Su{\'a}rez\}, \{Fabi{\'a}n Fernando\} and \{de Lima\}, \{Thaynara Arielly\} and M. Ayala-Rinc{\'o}n",

year = "2024",

language = "English",

volume = "2024",

journal = "Arch. Formal Proofs",

issn = "2150-914X",

}