Conditional Excluded Middle in Systems of Consequential Implication.

Claudio Pizzi Timothy Williamson

Published in: J. Philos. Log. (2005)

Keyphrases

complex systems
intelligent systems
management system
real time
expert systems
information systems
real world
decision trees
image sequences
similarity measure
data structure
genetic algorithm
description logics
distributed systems
computer systems
learning systems
database