User:Bci2/Books/LogicaMetaQL

Logic, Metalogic, Fuzzy, Relational and Quantum Logics- Relational Quantum Theory

 * Table of contents
 * Introduction


 * Classical logic article
 * Logic


 * History
 * History of logic


 * Controversies in logic
 * Principle of bivalence
 * Paradox of entailment
 * Paraconsistent logic
 * Is logic empirical?


 * Topics in logic
 * Aristotelian logic
 * Boolean logic
 * Boolean algebra (logic)
 * Boolean algebra
 * Abstract algebra
 * Boolean algebra (structure)
 * Boolean algebras canonically defined
 * Complete Boolean algebra
 * Boolean-valued model
 * Propositional calculus
 * Predicate logic
 * Modal logic
 * Symbolic logic
 * Intuitionistic logic
 * Informal logic
 * Mathematical logic
 * Algebraic logic
 * Multi-valued logic
 * MV-algebra
 * Łukasiewicz logic
 * Fuzzy logic
 * Metatheory
 * Metalogic
 * Quantum logic
 * Quantum computer
 * Philosophical logic
 * Logic in computer science
 * Metamathematics


 * Relational Logic, Relation Theory and Algebra
 * Logic of relatives
 * Relation
 * Binary relation
 * Equivalence relation
 * Partial equivalence relation
 * Order theory
 * Cartesian product
 * Hasse diagram
 * Ternary relation
 * Graph of a function
 * Cyclic order
 * Finitary relation
 * Theory of relations
 * Relation algebra
 * Information algebra
 * Relational operator
 * Relational model
 * Relational calculus
 * Domain relational calculus(DRC)
 * Relation construction
 * Relation composition
 * Relation reduction
 * Relational database
 * SQL
 * Aggregate function
 * Tutorial D
 * Database
 * [[D (data language specification)
 * D4 (programming language) (an implementation of D)
 * List of relational database management systems


 * Relational Biology and Relational Quantum Theories
 * Mathematical biology
 * Theoretical biology
 * Relational quantum mechanics
 * Relational approach to quantum physics
 * Quantum information