Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. In proof theorya sequent is a formalized statement of provability that is frequentlyused when specifying calculi for deduction. In the sequent calculus, thename sequent is used for the construct which can be regarded as aspecific kind of judgment, characteristic to this deduction system. Thegeneral notion of sequent introduced here can be specialized in variousways. A sequent is said to be an intuitionistic sequent if there is atmost one formula in the succedent. This form is needed to obtain calculifor intuitionistic logic. Similarly, one can obtain calculi fordual-intuitionistic logic (a type of paraconsistent logic) by requiringthat sequents be singular in the antecedent. In many cases, sequents arealso assumed to consist of multisets or sets instead of sequences. N� de r�f. du vendeur 9786132802385

Contacter le vendeur

Acheter neuf

EUR 137,63

Exp�dition �EUR 35
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Sequent

Frederic P. Miller

Edit� par Omniscriptum M�r 2026, 2026

ISBN 10 : 613280238X ISBN 13 : 9786132802385

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. In proof theorya sequent is a formalized statement of provability that is frequentlyused when specifying calculi for deduction. In the sequent calculus, thename sequent is used for the construct which can be regarded as aspecific kind of judgment, characteristic to this deduction system. Thegeneral notion of sequent introduced here can be specialized in variousways. A sequent is said to be an intuitionistic sequent if there is atmost one formula in the succedent. This form is needed to obtain calculifor intuitionistic logic. Similarly, one can obtain calculi fordual-intuitionistic logic (a type of paraconsistent logic) by requiringthat sequents be singular in the antecedent. In many cases, sequents arealso assumed to consist of multisets or sets instead of sequences.VDM Verlag, Dudweiler Landstra�e 99, 66123 Saarbr�cken 96 pp. Englisch. N� de r�f. du vendeur 9786132802385

Contacter le vendeur

Acheter neuf

EUR 136

Exp�dition �EUR 60
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Articles li�s � Sequent: Proof theory, Proof calculus, Deductive reasoning,...

Sequent: Proof theory, Proof calculus, Deductive reasoning, Judgment (mathematical logic), Turnstile (symbol), Metalanguage, Logical conjunction - Couverture souple

R�sultats de recherche pour Sequent: Proof theory, Proof calculus, Deductive reasoning,...

Sequent

Acheter neuf