Radio buttons con php

Un radio button también es un tipo de botón de 2 estados (encendido-apagado) pero estos pueden agruparse de forma tal que sólo un radio-button del grupo pueda estar prendido. El nombre de radio button fue puesto por su funcionamiento parecido a los botones de las viejas radios de automóviles, que siempre debía estar presionado uno de los botones y nunca (mientras funcionaba correctamente) podían estar dos presionados al mismo tiempo.

Los atributos son checked, name y value. Todos los radio buttons del mismo nombre pertenecen al mismo grupo, es decir que de todo el grupo sólo uno podrá ser seleccionado. El value del botón determina cual es el radio elegido del grupo.

Ejemplo:

< ? if(isset($proc)) { print("El radio seteado es $grupo
«);
}
?>

Fuente: Documento Generación de web sites dinámicos usando PHP