"10" Result
Sort By:
Many-sorted logic and its applications
by Meinke, Karl
fromWiley professional computing
0
Type: Book
This study presents a logic in which probability values play a semantic role comparable to that of truth values in conventional logic. The difference comes in with the semantic definition of logical consequence. It will be of interest to logicians, both philosophical and mathema…