Sequent
Exact page not found, but we found similar results:
Sequente
Un sequente è un'entità della logica che permette di esprimere legami tra asserzioni complesse facendo uso dei legami metalinguistici e che comporta. Le...
Implicazione logica
l'operatore metalinguistico sequente è un'estensione dell'operatore linguistico di implicazione logica. ^ Calcolo dei sequenti LCp (PDF), su math.unipd.it...
Kyrie eleison
Repertorio Proprium missæ: Introitus · Graduale · Alleluia · Tractus · Sequentia · Offertorium · Communio Ordinarium missæ: Kyrie · Gloria · Credo · Sanctus...
Abduzione
Mayer, Marta and Pirri, Fiora (1993) First order abduction via tableau and sequent calculi Logic Jnl IGPL 1993 1: 99-117; doi:10.1093/jigpal/1.1.99. Oxford...
Logica matematica
caso in cui la formula sia valida. Eliminazione dei tagli nel calcolo dei sequenti. L'indipendenza logica dell'ipotesi del continuo dimostrata da Paul Cohen...
Phaedra (album)
simile alla prima parte della title track. La conclusiva e brevissima Sequent C è stato composto e suonato dal solo Peter Baumann, che esegue una melodia...
Requiem (Mozart)
Dell'intera Sequentia considerò solo sei sezioni. Dopo Offertorium, Sanctus, Agnus dei e Communio l'opera termina espungendo il Responsorium. La Sequentia è costituita...
Agnus Dei
Repertorio Proprium missæ: Introitus · Graduale · Alleluia · Tractus · Sequentia · Offertorium · Communio Ordinarium missæ: Kyrie · Gloria · Credo · Sanctus...
Sequenza (liturgia)
liturgia cattolica, la sequenza, spesso chiamata anche col suo nome latino sequentia, è un componimento poetico musicale liturgico che viene recitato o cantato...
Amadeus (film)
Requiem, III. Sequentia: 1. Dies irae Requiem, III. Sequentia: 3. Rex tremendae Requiem, III. Sequentia: 5. Confutatis Requiem, III. Sequentia: 6. Lacrimosa...