The following pages link to (Q5556399):
Displaying 9 items.
- A sequent calculus for a negative free logic (Q622624) (← links)
- A free logic with intensions as possible values of terms (Q1228607) (← links)
- A modest logic of plurals (Q2499303) (← links)
- Meeting of the Association for Symbolic Logic, New York, 1974 (Q4060933) (← links)
- The lazy logic of partial terms (Q4779651) (← links)
- A mechanization of strong Kleene logic for partial functions (Q5210785) (← links)
- GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC (Q5381029) (← links)
- A partial functions version of Church's simple theory of types (Q5753924) (← links)
- Single-domain free logic and the problem of compositionality (Q6067309) (← links)
