A note on generalized generalization
The generalization rules of sequent calculi allow, under some restrictions, to derive a formula ∃χφ or ∀χφ from a formula φχ (γ), i.e. from the formula obtained by substituting a variable γ for all free occurrences of χ in φ. We introduce modified generalization rules that make it possible to derive...
| Autor principal: | |
|---|---|
| Formato: | Artigo |
| Idioma: | ces |
| Publicado em: |
Karolinum Press
2025-02-01
|
| coleção: | Acta Universitatis Carolinae: Philosophica et Historica |
| Acesso em linha: | http://www.karolinum.cz/doi/10.14712/24647055.2025.5 |