Grigore C. Moisil (1906 - 1973) and his School in Algebraic Logic.

George Georgescu Afrodita Iorgulescu Sergiu Rudeanu

Published in: Int. J. Comput. Commun. Control (2006)

Keyphrases

computer algebra
modal logic
algebraic structure
logic programming
classical logic
higher order
high school
automated reasoning
multi valued
elementary school
computational properties
primary school
deontic logic
linear logic
proof theory