La Classification Mathématique par matières 2000 Mathematics subject Classification 2000 Query : CC = 03B50 03-XX Mathematical logic and foundations 03B50 Many-valued logic Keyword : Back to the Mathematics Subject Classification (version 2000)