Published in: LIPIcs, Volume 195, 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)
Didier Galmiche, Marta Gawek, and Daniel Méry. Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity. In 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 195, pp. 13:1-13:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{galmiche_et_al:LIPIcs.FSCD.2021.13, author = {Galmiche, Didier and Gawek, Marta and M\'{e}ry, Daniel}, title = {{Beth Semantics and Labelled Deduction for Intuitionistic Sentential Calculus with Identity}}, booktitle = {6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)}, pages = {13:1--13:21}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-191-7}, ISSN = {1868-8969}, year = {2021}, volume = {195}, editor = {Kobayashi, Naoki}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2021.13}, URN = {urn:nbn:de:0030-drops-142516}, doi = {10.4230/LIPIcs.FSCD.2021.13}, annote = {Keywords: Algebraic Semantics, Beth Models, Labelled Deduction, Intuitionistic Logic} }
Feedback for Dagstuhl Publishing