Noncommutative logic is an extension of linear logic that combines the commutative connectives of linear logic with the noncommutative multiplicative connectives...

mathematical logic, the calculus of structures is a proof calculus with deep inference for studying the structural proof theory of noncommutative logic. The calculus...

logic Linear logic Many-valued logic Mathematical logic Metalogic Minimal logic Modal logic Non-Aristotelian logic Non-classical logic Noncommutative...

structures was proposed in order to give a cut-free characterisation of noncommutative logic. Cirquent calculus was developed as a system of deep inference allowing...

3"); such operations are not commutative, and so are referred to as noncommutative operations. The idea that simple operations, such as the multiplication...

History of Logic. Vol. 7. Elsevier. pp. 1–98. ISBN 978-0-08-046303-2. Goldblatt, Robert (2006b). "A Kripke-Joyal Semantics for Noncommutative Logic in Quantales"...

of a variable is used at most once”. Ordered types correspond to noncommutative logic where exchange, contraction and weakening are discarded. This can...

gapping and extraction. Combinatory categorial grammar Link grammar Noncommutative logic Pregroup Grammar Scope Type shifter Wybraniec-Skardowska, Urszula;...

mathematician known for his contributions to quantum logic, representation theory, and noncommutative geometry. Mackey earned his B.A. at Rice University...

Robert Goldblatt, A Kripke-Joyal semantics for noncommutative logic in quantales; Advances in Modal Logic 6, 209—225, Coll. Publ., London, 2006; MR2396933...

the philosophy of noncommutative geometry, which tries to study various non-classical and/or pathological objects by noncommutative operator algebras...

top-level mathematics categories used by the arXiv. It is the study of noncommutative analogues and generalizations of commutative algebras, especially those...

mainstream geometry and topology, there are some systems that forgo it, e.g. noncommutative geometry and pointless topology. A "pointless" or "pointfree" space...

analysis Decision theory Derived noncommutative algebraic geometry Descriptive set theory a part of mathematical logic, more specifically a part of set...

leads to noncommutative geometry, where one considers noncommutative C*-algebras as representing algebras of functions on a noncommutative space. Hausdorff...

theory; Abstract geometry, including algebraic geometry, categorical noncommutative geometry, etc. Quantization related to category theory, in particular...

less or equal to 15 elements (excluding mirror images) that have no noncommutative models with four or fewer variables, and was first proven equivalent...

Logic and Algebra. CRC Press. pp. 161–180. ISBN 978-0-8247-9606-8. Goodearl, K. R.; Warfield, Robert B. (1989), An introduction to noncommutative noetherian...

 3. e-enterprise. 2014. ISBN 978-3-945059-15-9. Arithmetic topology Noncommutative residue Fedor Bogomolov; Yuri Tschinkel, eds. (December 2023). "Memorial...

Non-associative algebra Representation theory Ring theory Commutative algebra Noncommutative algebra Universal algebra Analysis Complex analysis Functional analysis...

dimensions of the quaternions, of which they are an extension. They are noncommutative and nonassociative, but satisfy a weaker form of associativity; namely...

geometry Lie sphere geometry Non-Euclidean geometry Noncommutative algebraic geometry Noncommutative geometry Ordered geometry Parabolic geometry Plane...

Integral geometry Euclidean geometry Finite geometry Galois geometry Noncommutative geometry Solid geometry Trigonometry Number theory Analytic number theory...

gravity spin network black hole thermodynamics Quantum group Hopf algebra Noncommutative quantum field theory See list of string theory topics Matrix model...

It can be thought of as a variant of intuitionistic logic with star and with a noncommutative conjunction whose identity need not be the top element...

(January 1985). "Individuals and Points". Notre Dame Journal of Formal Logic. 26 (1): 61–75. doi:10.1305/ndjfl/1093870761. John Casey (1885). Analytic...

by a noncommutative quantum field theory, a special kind of physical theory in which spacetime is described mathematically using noncommutative geometry...

(p^{\infty })} Noncommutative algebra Noncommutative rings • Division ring • Semiprimitive ring • Simple ring • Commutator Noncommutative algebraic geometry...

embarked in 1936, with the partial collaboration of Murray, on the noncommutative case, the general study of factors classification of von Neumann algebras...

synthetic a priori knowledge; not derived from the senses nor deduced through logic — our knowledge of space was a truth that we were born with. Unfortunately...