Difference between revisions of "Logic"

From PKC
Jump to navigation Jump to search
Line 2: Line 2:


Some of the directly related ideas can be found here:
Some of the directly related ideas can be found here:
*[[Mathematical Logic]]
*[[Mathematical logic]]
*[[Extensible Logic]]
*[[Extensible logic]]
*[[Reversible Logic]]
*[[Reversible logic]]
*[[Quantum Logic]]
*[[Quantum logic]]





Revision as of 03:37, 17 July 2021

Logic is a subject matter that uses symbol systems to enumerate possibilities. Based on this assumption, any set of symbols that allows for the same possibility space can be thought of as the same language. This can be explained as the term: up to isomorphism in Category Theory.

Some of the directly related ideas can be found here:


References