Differenze tra le versioni di "Logica intuizionista"

m
nessun oggetto della modifica
m (Bot: sostituisco template con portale)
m
 
La [[semantica]] intuizionista è più complicata della semantica classica. Una teoria dei modelli può essere rappresentata dall'algebra di [[Arend Heyting]] o dalla semantica di [[Saul Kripke]].
 
==Voci correlate==
* [[Sequente]]
 
==Collegamenti esterni==
253

contributi