Lindenbaum and pair extension lemma in infinitary logics

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

zbMATH Keywords

infinitary logicinfinitary deduction ruleLindenbaum lemmapair extension lemmaprime theorystrong disjunction

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Other infinitary logic (03C75) Abstract algebraic logic (03G27)