The following pages link to New Computational Paradigms (Q5717080):
Displaying 6 items.
- Kripke models for classical logic (Q636371) (← links)
- Kripke models, distributive lattices, and Medvedev degrees (Q995672) (← links)
- Destructibility and axiomatizability of Kaufmann models (Q2085581) (← links)
- Constructive logic and the Medvedev lattice (Q2505132) (← links)
- (Q5884959) (← links)
- METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS (Q6103448) (← links)