Pages that link to "Item:Q830379"
From MaRDI portal
The following pages link to A more unified approach to free logics (Q830379):
Displaying 10 items.
- Tableaux for free logics with descriptions (Q2142064) (← links)
- Free logics are cut-free (Q2243550) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- On supervaluations in free logic (Q3731571) (← links)
- (Q4264064) (← links)
- Denotation and description in free logic* (Q4861490) (← links)
- ABSTRACT FORMS OF QUANTIFICATION IN THE QUANTIFIED ARGUMENT CALCULUS (Q6041346) (← links)
- Single-domain free logic and the problem of compositionality (Q6067309) (← links)
- A completeness proof for a regular predicate logic with undefined truth value (Q6100982) (← links)
- Decidable fragments of the quantified argument calculus (Q6638233) (← links)