A result on propositional logics having the disjunction property
From MaRDI portal
Publication:1148312
DOI10.1305/ndjfl/1093883567zbMath0452.03027OpenAlexW2081524757MaRDI QIDQ1148312
Publication date: 1982
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093883567
Related Items
Counting the maximal intermediate constructive logics ⋮ A method to single out maximal propositional logics with the disjunction property. I ⋮ A method to single out maximal propositional logics with the disjunction property. II ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988