Listing 1 - 10 of 30 | << page >> |
Sort by
|
Choose an application
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the sixth publication in the Lecture Notes in Logic series, collects the proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in Brno, Czech Republic, on the 90th anniversary of Gödel's birth. The broad range of speakers who participated in this event affirms the continuing importance of Gödel's work in logic, physics, and the philosophy and foundations of mathematics and computer science. The papers in this volume range over all these topics and contribute to our present understanding of them.
Logic, Symbolic and mathematical --- Mathematics --- Computer science --- Mathematical physics --- Philosophy
Choose an application
Computer science --- Logic, Symbolic and mathematical --- Mathematical physics --- Mathematics --- Math --- Science --- Congresses --- Philosophy
Choose an application
This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. It aims to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named ‘fuzzy inference’ can be naturally understood as logical deduction. It is for mathematicians, logicians, computer scientists, specialists in artificial intelligence and knowledge engineering, and developers of fuzzy logic.
Choose an application
Choose an application
Mathematical logic --- Set theory. --- Set theory --- Théorie des ensembles --- ELSEVIER-B EPUB-LIV-FT --- 510.22 --- 510.22 Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Set theory. Set theoretic approach. Theory of order types, of ordinal and cardinal numbers --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Logic, Symbolic and mathematical --- Mathematics --- Théorie des ensembles
Choose an application
Automatic hypothesis formation --- 681.3*I23 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Automatic hypothesis formation. --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)
Choose an application
Arithmetic --- Foundations. --- -Foundations --- Foundations of arithmetic --- Foundations --- Mathematics --- Philosophy --- Arithmetic - Foundations.
Choose an application
Provability, Computability and Reflection
Set theory. --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Logic, Symbolic and mathematical --- Mathematics
Choose an application
Provability, Computability and Reflection.
Choose an application
Listing 1 - 10 of 30 | << page >> |
Sort by
|