User:Bci2/Books/LogicaMetaQL
Appearance
The Wikimedia Foundation's book rendering service has been withdrawn. Please upload your Wikipedia book to one of the external rendering services. |
You can still create and edit a book design using the Book Creator and upload it to an external rendering service:
|
| This user book is a user-generated collection of Wikipedia articles that can be easily saved, rendered electronically, and ordered as a printed book. If you are the creator of this book and need help, see Help:Books (general tips) and WikiProject Wikipedia-Books (questions and assistance). Edit this book: Book Creator · Wikitext Order a printed copy from: PediaPress [ About ] [ Advanced ] [ FAQ ] [ Feedback ] [ Help ] [ WikiProject ] [ Recent Changes ] |
WildBot has found potential problems with this book. Please check the talk page for a detailed explanation of what these might be and how to fix them. When these are resolved, you can remove |wildbot=yes from this template. |
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