On Axioms and Rexpansions

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Article , Preprint , Other literature type 01 Jan 2021Embargo end date: 01 Jan 2021 English Publisher:Springer International PublishingFunded by:FCT | LA 5

Authors: Caleiro, Carlos; Marcelino, Sérgio;

doi: 10.1007/978-3-030-71258-7_3 , 10.48550/arxiv.2102.05419

arXiv: 2102.05419

On Axioms and Rexpansions

- Summary
- Subjects
- Metrics

Abstract

We study the general problem of strengthening the logic of a given (partial) (non-deterministic) matrix with a set of axioms, using the idea of rexpansion. We obtain two characterization methods: a very general but not very effective one, and then an effective method which only applies under certain restrictions on the given semantics and the shape of the axioms. We show that this second method covers a myriad of examples in the literature. Finally, we illustrate how to obtain analytic multiple-conclusion calculi for the resulting logics.

30 pages, preprint (accepted in OCL volume dedicated to Arnon Avron)

Related Organizations

Keywords

FOS: Mathematics, Mathematics - Logic, Logic (math.LO), 03B50, 03G10, 03G27, 03B35

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	7
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%