Spara
Hybrid Logic and its Proof-Theory
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).
- Författare
- Torben Braüner
- Upplaga
- 2011 ed.
- ISBN
- 9789400734357
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2013-01-02
- Förlag
- Springer
- Sidor
- 231
