%0 Journal Article %1 journals/jancl/GiusT23 %A Gius, Martin %A Tompits, Hans %D 2023 %J J. Appl. Non Class. Logics %K dblp %N 3-4 %P 606-640 %T Sequent-type rejection systems for finite-valued non-deterministic logics. %U http://dblp.uni-trier.de/db/journals/jancl/jancl33.html#GiusT23 %V 33

@article{journals/jancl/GiusT23, added-at = {2023-10-28T00:00:00.000+0200}, author = {Gius, Martin and Tompits, Hans}, biburl = {https://www.bibsonomy.org/bibtex/2b06f46041f301991be228bae9ad45b80/dblp}, ee = {https://doi.org/10.1080/11663081.2023.2244367}, interhash = {9522472af774d26837b68ac917c34470}, intrahash = {b06f46041f301991be228bae9ad45b80}, journal = {J. Appl. Non Class. Logics}, keywords = {dblp}, month = {October}, number = {3-4}, pages = {606-640}, timestamp = {2024-04-09T00:40:13.000+0200}, title = {Sequent-type rejection systems for finite-valued non-deterministic logics.}, url = {http://dblp.uni-trier.de/db/journals/jancl/jancl33.html#GiusT23}, volume = 33, year = 2023 }