@inproceedings{4fe10dc8e5b5458b87de7a8b706cf67d,
title = "Effective finite-valued semantics for labelled calculi",
abstract = "We provide a systematic and modular method to define non-deterministic finite-valued semantics for a natural and very general family of canonical labelled calculi, of which many previously studied sequent and labelled calculi are particular instances. This semantics is effective, in the sense that it naturally leads to a decision procedure for these calculi. It is then applied to provide simple decidable semantic criteria for crucial syntactic properties of these calculi, namely (strong) analyticity and cut-admissibility.",
author = "Matthias Baaz and Ori Lahav and Anna Zamansky",
year = "2012",
doi = "https://doi.org/10.1007/978-3-642-31365-3_7",
language = "الإنجليزيّة",
isbn = "9783642313646",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "52--66",
booktitle = "Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Proceedings",
note = "6th International Joint Conference on Automated Reasoning, IJCAR 2012 ; Conference date: 26-06-2012 Through 29-06-2012",
}