Cited By
View all- Gadducci FSantini F(2021)Residuation for Soft Constraints: Lexicographic Orders and Approximation TechniquesLogics in Artificial Intelligence10.1007/978-3-030-75775-5_12(162-176)Online publication date: 17-May-2021
Substructural logics: semantics, proof theory, and applications. report on the second SYSMICS workshop
Abstract
Substructural logics: semantics, proof theory, and applications is the second workshop within the project SYSMICS (Syntax meets Semantics - Methods, Interactions, and Connections in Substructural logics). It was held in Vienna at the Faculty of Mathematics, University of Vienna, from 26 -- 28 February 2018.
- Substructural logics: semantics, proof theory, and applications. report on the second SYSMICS workshop
Recommendations
Kripke Semantics for Modal Substructural Logics
We introduce Kripke semantics for modal substructural logics, and prove the completeness theorems with respect to the semantics. The completeness theorems are proved using an extended Ishihara's method of canonical model construction (Ishihara, 2000). The ...
Substructural Logics with Mingle
We introduce structural rules mingle, and investigate theorem-equivalence, cut- eliminability, decidability, interpolability and variable sharing property for sequent calculi having the mingle. These results include new cut-elimination results for the ...
Skolemization for Substructural Logics
LPAR-20 2015: Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - Volume 9450The usual Skolemization procedure, which removes strong quantifiers by introducing new function symbols, is in general unsound for first-order substructural logics defined based on classes of complete residuated lattices. However, it is shown here ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
April 2018
91 pages
Copyright © 2018 Authors.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 30 April 2018
Published in SIGLOG Volume 5, Issue 2
Check for updates
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 49Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 26 Nov 2024
Other Metrics
Citations
Cited By
View all- Gadducci FSantini F(2021)Residuation for Soft Constraints: Lexicographic Orders and Approximation TechniquesLogics in Artificial Intelligence10.1007/978-3-030-75775-5_12(162-176)Online publication date: 17-May-2021
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in