The following pages link to Charles F. Kielkopf (Q599802):
Displaying 7 items.
- Refutation calculi for certain intermediate propositional logics (Q689214) (← links)
- The intensionality of the predicate '--- is recursive' (Q759133) (← links)
- Logics of truth (Q920976) (← links)
- Invertible definitions (Q1098828) (← links)
- More on trees and finite satisfiability: The taming of terms (Q1098832) (← links)
- The specific reading of A-propositions in a defense of William of Sherwood (Q1234660) (← links)
- Rethinking Quine's argument on the collapse of modal distinctions (Q1381440) (← links)
