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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | ces |
| Published: |
Karolinum Press
2025-02-01
|
| Series: | Acta Universitatis Carolinae: Philosophica et Historica |
| Online Access: | http://www.karolinum.cz/doi/10.14712/24647055.2025.5 |