The following pages link to (Q4532198):
Displaying 11 items.
- Logic and ontological pluralism (Q427222) (← links)
- A sequent calculus for a negative free logic (Q622624) (← links)
- Confused terms in ordinary language (Q783673) (← links)
- A more unified approach to free logics (Q830379) (← links)
- Truth values, neither-true-nor-false, and supervaluations (Q1015489) (← links)
- State-of-affairs semantics for positive free logic (Q2499294) (← links)
- A logic for deontic dilemmas (Q2568341) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- States of Affairs as Structured Extensions in Free Logic (Q5013627) (← links)
- PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS (Q5216971) (← links)
- Names and quantifiers: bringing them together in classical logic (Q6169325) (← links)