# Complete References from Ferguson (2021)

## Source
Ferguson, T.M. (2021). "Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic", pp. 18-19

## Full Bibliography

1. **Angell, R.B.** (1977). Three systems of first degree entailment. *Journal of Symbolic Logic*, 42(1), 147-148.

2. **Bochvar, D.A.** (1938). On a three-valued logical calculus and its application to the analysis of contradictions. *Matematicheskii Sbornik*, 4(2), 287-308.

3. **Carnielli, W., Marcos, J., de Amo, S.** (2000). Formal inconsistency and evolutionary databases. *Logic and Logical Philosophy*, 8, 115-152.

4. **Carnielli, W.A.** (1987). Systematization of finite many-valued logics through the method of tableaux. *Journal of Symbolic Logic*, 52(2), 473-493.

5. **Correia, F.** (2010). Grounding and truth functions. *Logique et Analyse* (N.S.), 53(211), 251-279.

6. **Daniels, C.** (1990). A note on negation. *Erkenntnis*, 32(3), 423-429.

7. **Ferguson, T.M.** (2016). Faulty Belnap computers and subsystems of FDE. *Journal of Logic and Computation*, 26(5), 1617-1636.

8. **Ferguson, T.M.** (2021, to appear). Secrecy, content, and quantification. *Análisis Filosófico*, 1-14.

9. **Fine, K.** (2016). Angellic content. *Journal of Philosophical Logic*, 45(2), 199-226.

10. **Fjellstad, A.** (2020). Structural proof theory for first-order weak Kleene logics. *Journal of Applied Non-Classical Logics*, 30(3), 272-289.

11. **Halldén, S.** (1949). *The Logic of Nonsense*. Lundequista Bokhandeln, Uppsala, Sweden.

12. **Kamide, N.** (2010). An embedding-based completeness proof for Nelson's paraconsistent logic. *Bulletin Section Logic*, 39(3/4), 205-214.

13. **Kapsner, A.** (2014). *Logics and Falsifications*. Springer, Cham.

14. **Kleene, S.C.** (1952). *Introduction to Metamathematics*. North-Holland Publishing Company, Amsterdam.

15. **Malinowski, G.** (2002). Many-valued logic. In: Jacquette, D. (ed.) *A Companion to Philosophical Logic*, pp. 545-561. Blackwell Publishing, Oxford.

16. **Nelson, D.** (1959). Negation and separation of concepts in constructive systems. In: Heyting, A. (ed.) *Constructivity in Mathematics*, pp. 208-225. North-Holland, Amsterdam.

17. **Szmuc, D., Da Re, B.** (2021). Immune logics. *Australasian Journal of Logic*, 18(1), 29-52.

18. **Yablo, S.** (2014). *Aboutness*. Princeton University Press, Princeton.

## Key References for Our Implementation

### Foundational Works
- **Kleene (1952)**: Original introduction of weak/strong three-valued logics
- **Bochvar (1938)**: Early three-valued logic with error/nonsense value
- **Halldén (1949)**: Logic of Nonsense - philosophical motivation

### First Degree Entailment (FDE)
- **Angell (1977)**: Three systems of first degree entailment
- **Ferguson (2016)**: Faulty Belnap computers and subsystems of FDE

### Paraconsistent Logic
- **Nelson (1959)**: Constructive systems with negation separation
- **Kamide (2010)**: Completeness proof for Nelson's paraconsistent logic
- **Carnielli et al. (2000)**: Formal inconsistency and evolutionary databases

### Tableaux Methods
- **Carnielli (1987)**: Systematization via tableaux for many-valued logics
- **Fjellstad (2020)**: Structural proof theory for weak Kleene logics

### Philosophical Context
- **Fine (2016)**: Angellic content - intentional contexts
- **Yablo (2014)**: Aboutness - semantic content
- **Ferguson (2021)**: Secrecy, content, and quantification

### Logic and Semantics
- **Correia (2010)**: Grounding and truth functions
- **Daniels (1990)**: Note on negation
- **Kapsner (2014)**: Logics and Falsifications
- **Szmuc & Da Re (2021)**: Immune logics

## References Most Relevant to Implementation

1. **Fjellstad (2020)**: Provides structural proof theory specifically for first-order weak Kleene logics - directly relevant to our tableau implementation

2. **Carnielli (1987)**: General tableau methodology for many-valued logics - useful for understanding tableau systematization

3. **Ferguson (2016)**: Discusses subsystems of FDE which helps understand the relationship between wK, AC, and S*_fde

4. **Kleene (1952)**: The original source for weak vs. strong Kleene logic distinctions

## Notable Connections

- The paper builds on a rich tradition from Kleene's original three-valued logic (1952) through Bochvar's error logic (1938) to modern paraconsistent systems
- The philosophical motivation comes from Fine's work on intentional content and Yablo's aboutness
- The technical approach follows Carnielli's tableau systematization methodology
- The system relationships (wK, AC, S*_fde) connect to Angell's and Ferguson's own prior work on FDE subsystems

## Implementation Notes

These references suggest several areas for future development:
1. Connection to description logics (mentioned in conclusion but no specific reference)
2. Structural proof theory approach (Fjellstad 2020) as alternative to semantic tableaux
3. Applications to evolutionary databases (Carnielli et al. 2000)
4. Integration with theories of aboutness and intentional content (Fine 2016, Yablo 2014)