%0 Journal Article %1 journals/ndjfl/Pizzi93 %A Pizzi, Claudio %D 1993 %J Notre Dame J. Formal Log. %K dblp %N 4 %P 621-624 %T Consequential implication. A correction to: "Decision procedures for logics of consequential implication". %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl34.html#Pizzi93 %V 34

@article{journals/ndjfl/Pizzi93, added-at = {2020-05-21T00:00:00.000+0200}, author = {Pizzi, Claudio}, biburl = {https://www.bibsonomy.org/bibtex/20540b0b30cff90afdc34eb564e87f161/dblp}, ee = {https://doi.org/10.1305/ndjfl/1093633911}, interhash = {16832865b9ea80a5d5cb62100088c1ed}, intrahash = {0540b0b30cff90afdc34eb564e87f161}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 4, pages = {621-624}, timestamp = {2020-05-23T12:18:03.000+0200}, title = {Consequential implication. A correction to: "Decision procedures for logics of consequential implication".}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl34.html#Pizzi93}, volume = 34, year = 1993 }