Physics Library
 An open source physics library
Encyclopedia | Forums | Docs | Random |  
Login
create new user
Username:
Password:
forget your password?
Main Menu
Sections

Meta

Talkback

Downloads

Information
minimal negation operator (Definition)

This entry needs to be rendered, but on-demand rendering is temporarily disabled while Physics Library is under heavy load. Please try again later.

"minimal negation operator" is owned by Jon Awbrey.
(view preamble)
View style:
See Also: differential logic, differential propositional calculus, differential propositional calculus : appendix 1, differential propositional calculus : appendix 2, differential propositional calculus : appendix 3, differential propositional calculus : appendix 4


There is 1 reference to this object.

This is version 15 of minimal negation operator, born on 2009-05-16, modified 2009-08-30.
Object id is 760, canonical name is MinimalNegationOperator.
Accessed 2649 times total.

Classification:
Physics Classification: 02. (Mathematical methods in physics)
 02.10.Ab (Logic and set theory)
 02.10.Ox (Combinatorics; graph theory)
 02.10.Ud (Linear algebra)
 02.20.-a (Group theory )
 02.30.-f (Function theory, analysis)
 02.40.-k (Geometry, differential geometry, and topology )
 02.40.Yy (Geometric mechanics )
 02.50.Tt (Inference methods)
 02.70.-c (Computational techniques )
 02.70.Bf (Finite-difference methods)
 02.70.Wz (Symbolic computation )
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:

No messages.

Interact
rate | post | correct | update request | add derivation | add example | add (any)