%0 Journal Article %1 journals/lu/Trafford16 %A Trafford, James %D 2016 %J Logica Universalis %K dblp %N 1 %P 67-97 %T Structuring Co-constructive Logic for Proofs and Refutations. %U http://dblp.uni-trier.de/db/journals/lu/lu10.html#Trafford16 %V 10

@article{journals/lu/Trafford16, added-at = {2023-08-28T00:00:00.000+0200}, author = {Trafford, James}, biburl = {https://www.bibsonomy.org/bibtex/2ce14e692d8d26d176cd8db726af9c364/dblp}, ee = {https://www.wikidata.org/entity/Q113899855}, interhash = {49b222caaa6adc7a74dcb1b35278c45d}, intrahash = {ce14e692d8d26d176cd8db726af9c364}, journal = {Logica Universalis}, keywords = {dblp}, number = 1, pages = {67-97}, timestamp = {2024-04-08T21:13:31.000+0200}, title = {Structuring Co-constructive Logic for Proofs and Refutations.}, url = {http://dblp.uni-trier.de/db/journals/lu/lu10.html#Trafford16}, volume = 10, year = 2016 }