<?php
    // session precisa receber o valor antes de ser imprimida no checkbox
    session_start();
    $_SESSION['valor'] = 44;
?>
<input type="checkbox" id="horns" name="nome1" value="<?php echo $_SESSION['valor']?>"> valor = <?php echo $_SESSION['valor']?>
<?php
    $_SESSION = null;
    // se você não trabalhar com usuarios logado pode usar o
    session_abort();
?>