Merging fragments of classical logic
From MaRDI portal
Publication:1687564
DOI10.1007/978-3-319-66167-4_17zbMath1495.03009arXiv1706.08689OpenAlexW2729602554MaRDI QIDQ1687564
Carlos Caleiro, João Marcos, Sérgio Marcelino
Publication date: 4 January 2018
Full work available at URL: https://arxiv.org/abs/1706.08689
Related Items
Axiomatizing non-deterministic many-valued generalized consequence relations, Combining fragments of classical logic: when are interaction principles needed?