Cuts and gluts. (English) Zbl 1185.03044
Summary: We characterize the notion of validity with respect to paraconsistent models, for comprehension axioms, containing gluts.
Keywords:
cut-elimination; gluts; gaps; validity with respect to paraconsistent models; comprehension axiomReferences:
| [1] | CRABBÉ M., L’anti-fondation en logique et en théorie des ensembles, vol. 7 of Cahiers du Centre de Logique pp 51– (1992) |
| [2] | DOI: 10.1002/malq.19940400406 · Zbl 0808.03037 · doi:10.1002/malq.19940400406 |
| [3] | DOI: 10.1093/jigpal/12.2.111 · Zbl 1060.03032 · doi:10.1093/jigpal/12.2.111 |
| [4] | DOI: 10.1016/j.crma.2004.01.021 · Zbl 1041.03008 · doi:10.1016/j.crma.2004.01.021 |
| [5] | CRABBÉ M., Logique et Analyse (2005) |
| [6] | FORSTER T., Set Theory with a Universal Set, Exploring an Untyped Universe, vol. 31 of Oxford Logic Guides (1995) |
| [7] | GILMORE P. C., Axiomatic set theory II, vol. XIII of Proceedings of symposia in pure mathematics pp 147– · Zbl 0309.02065 |
| [8] | GIRARD J.-Y., Studies in Proof Theory (1987) |
| [9] | HINNION R., Comptes rendus de l’Académie des Sciences de Paris, série 1 304 (12) pp 307– (1987) |
| [10] | DOI: 10.1305/ndjfl/1040609292 · Zbl 0801.03019 · doi:10.1305/ndjfl/1040609292 |
| [11] | LIBERT T., The Age of Alternative Logics (2004) |
| [12] | DOI: 10.1007/978-94-009-3687-4 · doi:10.1007/978-94-009-3687-4 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
