Merging fragments of classical logic

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

Mathematics Subject Classification ID

Classical propositional logic (03B05) Combined logics (03B62)

Related Items

Axiomatizing non-deterministic many-valued generalized consequence relations, Combining fragments of classical logic: when are interaction principles needed?