Bookcover of The ν-Calculus
Booktitle:

The ν-Calculus

Scholars' Press (2014-09-26 )

Books loader

Omni badge eligible for voucher
ISBN-13:

978-3-639-66490-4

ISBN-10:
3639664906
EAN:
9783639664904
Book language:
English
Blurb/Shorttext:
The "ν-calculus" is a formal logical system, which as classical one, treats (true and false) assertions in the grounds, but unlike - in the semantic sense - their truth (falsity) values are differently set. Besides, here are of interest only (always) false formulas or negations etc. We formulate a number of formal theorems of the calculus within its "propositional", "predicate" and "arithmetical" versions and put forward the (meta-theoretical) requirements for completeness and consistency of these systems. It is shown that they largely "share fate" of classical formalizations: when it is about, say, completeness of the propositional calculus, or the (in)completeness of predicate calculus and formal number theory et al. Finally, we bring a version of this formalism as a sequential calculus, as well as a constructive proof of its consistency (after Gentzen).
Publishing house:
Scholars' Press
Website:
http://www.scholars-press.com
By (author) :
Milan Tasić D.
Number of pages:
144
Published at:
2014-09-26
Stock:
Available
Category:
Mathematics
Price:
44.90 €
Keywords:
Consistency, formal-logic, ν - calculus, Negation, Completeness, ν - sequent.

Books loader

Newsletter

Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Paypal Wire Transfer

  0 products in the shopping cart
Edit cart
Loading frontend
LOADING