The Admissible Rules of BD2 and GSc
| Autor: | Jeroen P. Goudsmit |
|---|---|
| Přispěvatelé: | VU SBE Executive Education |
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: |
Property (philosophy)
Basis (linear algebra) Logic Generalization 010102 general mathematics 0102 computer and information sciences Intuitionistic logic Characterization (mathematics) intuitionistic logic 16. Peace & justice Propositional calculus 01 natural sciences Universal model Wijsbegeerte 010201 computation theory & mathematics admissible rules Computer Science::Logic in Computer Science Calculus universal model intermediate logics 0101 mathematics Mathematics |
| Zdroj: | Goudsmit, J P 2018, ' The Admissible Rules of BD2 and GSc ', NOTRE DAME JOURNAL OF FORMAL LOGIC, vol. 59, no. 3, pp. 325-353 . https://doi.org/10.1215/00294527-3838972 Logic Group Preprint Series, 313, 1 NOTRE DAME JOURNAL OF FORMAL LOGIC, 59(3), 325-353. University of Notre Dame |
| ISSN: | 0029-4527 0929-0710 |
| DOI: | 10.1215/00294527-3838972 |
| Popis: | The Visser rules form a basis of admissibility for the intuitionistic propositional calculus. We show how one can characterise the existence of covers in certain models, by means of formulae. Through this characterisation, we provide a new proof of the admissibility of a weak form of the Visser rules. Finally, we use this observation, coupled with a description of a generalisation of the disjunction property, to provide a basis of admissibility for the intermediate logics BD2 and GSc. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|