The following pages link to (Q4532198):
Displaying 18 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)
- A basic free logic (Q1115422) (← 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)
- (Q4264064) (← links)
- (Q4793394) (← links)
- Free Logic (Q4805349) (← links)
- Denotation and description in free logic* (Q4861490) (← links)
- States of Affairs as Structured Extensions in Free Logic (Q5013627) (← links)
- PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS (Q5216971) (← links)
- (Q5271676) (← links)
- Logic-Free Reasoning in Isabelle/Isar (Q5505517) (← links)
- Names and quantifiers: bringing them together in classical logic (Q6169325) (← links)