The following pages link to Free logics are cut-free (Q2243550):
Displaying 8 items.
- Leśniewski's ontology -- proof-theoretic characterization (Q2104542) (← links)
- A binary quantifier for definite descriptions for cut free free logics (Q2115288) (← links)
- Tableaux for free logics with descriptions (Q2142064) (← links)
- Proof-theory and semantics for a theory of definite descriptions (Q2142067) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
- A cut-free, sound and complete Russellian theory of definite descriptions (Q6541147) (← links)
- Towards proof-theoretic formulation of the general theory of term-forming operators (Q6541148) (← links)
