The following pages link to A fully logical inductive logic (Q807614):
Displaying 11 items.
- Inverse subsumption for complete explanatory induction (Q439023) (← links)
- A structurally complete fragment of relevant logic (Q689216) (← links)
- Confused terms in ordinary language (Q783673) (← links)
- A more unified approach to free logics (Q830379) (← links)
- Referential opacity and epistemic logic (Q1941726) (← links)
- (Q3983191) (← links)
- (Q4440562) (← links)
- PURE LOGIC OF ITERATED FULL GROUND (Q4961738) (← links)
- Single-domain free logic and the problem of compositionality (Q6067309) (← links)
- The Barcan formulas and necessary existence: the view from quarc (Q6088503) (← links)
- A completeness proof for a regular predicate logic with undefined truth value (Q6100982) (← links)