The following pages link to (Q4025891):
Displaying 3 items.
- On a synonymy relation for extensional first order theories. III: A necessary and sufficient condition for synonymy (Q801898) (← links)
- A generalization of the adequacy theorem for the quasi-senses (Q809065) (← links)
- New semantics for the extensional but hyper-intensional part \({\mathcal L}_\alpha\) of the modal sense language \({\mathcal S}{\mathcal L}_\alpha^\nu\) (Q2277438) (← links)