%0 Journal Article %1 journals/jancl/FormisanoA06 %A Formisano, Andrea %A Asmundo, Marianna Nicolosi %D 2006 %J J. Appl. Non Class. Logics %K dblp %N 3-4 %P 367-408 %T An efficient relational deductive system for propositional non-classical logics. %U http://dblp.uni-trier.de/db/journals/jancl/jancl16.html#FormisanoA06 %V 16

@article{journals/jancl/FormisanoA06, added-at = {2020-07-13T00:00:00.000+0200}, author = {Formisano, Andrea and Asmundo, Marianna Nicolosi}, biburl = {https://www.bibsonomy.org/bibtex/2dbce9fb4cb4233374a5874ecf5ad1cc2/dblp}, ee = {https://doi.org/10.3166/jancl.16.367-408}, interhash = {8da1deebd878139c20f3711eb2247820}, intrahash = {dbce9fb4cb4233374a5874ecf5ad1cc2}, journal = {J. Appl. Non Class. Logics}, keywords = {dblp}, number = {3-4}, pages = {367-408}, timestamp = {2020-07-24T00:28:35.000+0200}, title = {An efficient relational deductive system for propositional non-classical logics.}, url = {http://dblp.uni-trier.de/db/journals/jancl/jancl16.html#FormisanoA06}, volume = 16, year = 2006 }