User:Bci2/Books/LogicaMetaQL

Logic and Metalogic:

edit

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

edit
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