Lindenbaum and pair extension lemma in infinitary logics
From MaRDI portal
Publication:1799275
DOI10.1007/978-3-662-57669-4_7OpenAlexW2810957784MaRDI QIDQ1799275
Tomáš Lávička, Petr Cintula, Marta Bílková
Publication date: 18 October 2018
Full work available at URL: https://doi.org/10.1007/978-3-662-57669-4_7
infinitary logicinfinitary deduction ruleLindenbaum lemmapair extension lemmaprime theorystrong disjunction