Gå direkte til innholdet
Hybrid Logic and its Proof-Theory
Spar

Hybrid Logic and its Proof-Theory

Forfatter:
innbundet, 2010
Engelsk
In the present book we demonstrate that hybrid-logical proof-theory remedies these deficiencies by giving a spectrum of well-behaved proof systems (natural deduction, Gentzen, tableau, and axiom systems) for a spectrum of different hybrid logics (propositional, first-order, intensional first-order, and intuitionistic).
ISBN
9789400700017
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
30.11.2010
Forlag
Springer
Antall sider
231