applied+logic
41Ariadne's thread (logic) — Ariadne s thread, named for the legend of Ariadne, is the term used to describe the solving of a problem with multiple apparent means of proceeding such as a physical maze, a logic puzzle, or an ethical dilemma through an exhaustive application… …
42Contraposition (traditional logic) — In traditional logic, contraposition is a form of immediate inference in which from a given proposition another is inferred having for its subject the contradictory of the original predicate, and in some cases involving a change of quality… …
43Intensional logic — embraces the logical study of intensional languages. While in extensional languages all of their functors are extensional (and that suffices in many formal languages developed for formalizing special fields in mathematics or science),… …
44Transposition (logic) — In the methods of deductive reasoning in classical logic, transposition is the rule of inference that permits one to infer from the truth of A implies B the truth of Not B implies not A , and conversely . [Brody, Bobuch A. Glossary of Logical… …
45Hazard (logic) — In digital logic, a hazard in a system is an undesirable effect caused by either a deficiency in the system or external influences. Logic hazards are manifestations of a problem in which changes in the input variables do not change the output… …
46Defeasible logic — is a non monotonic logic proposed by Donald Nute to formalize defeasible reasoning. In defeasible logic, there are three different types of propositions: strict rules  specify that a fact is always a consequence of another; defeasible… …
47Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …
48Linear logic — In mathematical logic, linear logic is a type of substructural logic that denies the structural rules of weakening and contraction . The interpretation is of hypotheses as resources : every hypothesis must be consumed exactly once in a proof.… …
49Is logic empirical? — is the title of two articles that discuss the idea that the algebraic properties of logic may, or should, be empirically determined; in particular, they deal with the question of whether empirical facts about quantum phenomena may provide grounds …
50Epistemic modal logic — is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields …
