Differenze tra le versioni di "Logica intuizionista"

m
SEP
m (SEP)
 
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]].
 
==Collegamenti esterni==
{{SEP|logic-intuitionistic}}
 
[[Categoria:Logica]]
7 985

contributi