First-order friendliness
Logic
2025-01-08 v6
Abstract
In this note we study a counterpart in predicate logic of the notion of 'logical friendliness', introduced into propositional logic in Makinson (2007). The result is a new consequence relation for predicate languages using first-order models. Although compactness and interpolation fail dramatically, other properties are preserved from the propositional case.
Keywords
Cite
@article{arxiv.2210.13953,
title = {First-order friendliness},
author = {Guillermo Badia and David Clement Makinson},
journal= {arXiv preprint arXiv:2210.13953},
year = {2025}
}