applied+logic
91Mereotopology — In formal ontology, a branch of metaphysics, and in ontological computer science, mereotopology is a first order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries… …
92Andreas Blass — Infobox Scientist name = Andreas R. Blass image width = 200px caption = Prof. Andreas Blass giving a talk during the conference Boise Extravaganza in Set Theory BEST 17 , Boise, Idaho, March 2008 birth date = October 27, 1947 birth place… …
93George Boolos — Infobox Person name = George Boolos birth date = birth date|1940|9|4|mf=y birth place = New York, New York, U.S. death date = death date and age|1996|5|27|1940|9|4|mf=y death place = Cambridge, Massachusetts, U.S.George Stephen Boolos (September… …
94George Boolos — George Stephen Boolos (4 de septiembre de 1940, Nueva York – 27 de mayo de 1996) fue un filósofo y estudioso de lógica matemática que enseñó en el Massachusetts Institute of Technology. Contenido 1 Vida 2 Trabajo 3 Véase también …
95Metaphysics — • That portion of philosophy which treats of the most general and fundamental principles underlying all reality and all knowledge Catholic Encyclopedia. Kevin Knight. 2006. Metaphysics Metaphysics …
96LITERATURE, JEWISH — Literature on Jewish themes and in languages regarded as Jewish has been written continuously for the past 3,000 years. What the term Jewish literature encompasses, however, demands definition, since Jews have lived in so many countries and have… …
97Logics for computability — are formulations of logic whichcapture some aspect of computability as a basic notion. This usually involves a mixof special logical connectives as well as semantics which explains how the logic is to be interpreted in a computational… …
98Interior algebra — In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set. Interior algebras are to topology and the modal logic S4 what Boolean algebras are to set theory and… …
99Truth table — A truth table is a mathematical table used in logic specifically in connection with Boolean algebra, boolean functions, and propositional calculus to compute the functional values of logical expressions on each of their functional arguments, that …
100Contradiction — In classical logic, a contradiction consists of a logical incompatibility between two or more propositions. It occurs when the propositions, taken together, yield two conclusions which form the logical, usually opposite inversions of each other.… …
