%0 Journal Article %1 journals/ndjfl/Kirk82 %A Kirk, Robert E. %D 1982 %J Notre Dame J. Formal Log. %K dblp %N 1 %P 71-74 %T A result on propositional logics having the disjunction property. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl23.html#Kirk82 %V 23

@article{journals/ndjfl/Kirk82, added-at = {2020-05-21T00:00:00.000+0200}, author = {Kirk, Robert E.}, biburl = {https://www.bibsonomy.org/bibtex/2dc0f2cad9bbe60b212ed9b600398f937/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093883567}, interhash = {ef38f480d9a0756ae256df15896da47f}, intrahash = {dc0f2cad9bbe60b212ed9b600398f937}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 1, pages = {71-74}, timestamp = {2020-05-23T12:18:03.000+0200}, title = {A result on propositional logics having the disjunction property.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl23.html#Kirk82}, volume = 23, year = 1982 }