file.pdf (1.22 MB)

Normal Natural Deduction Proof (In Non-Classical Logics)

journal contribution

posted on 2002-03-27, 00:00 authored by Wilfried Sieg, Saverio Cittadini

Wilfred Sieg and Saverio Cittadini. Normal Natural Deduction Proof (In Non-Classical Logics.

History

Publisher Statement

All Rights Reserved

Date

2002-03-27

Usage metrics

Categories

Philosophy

Keywords

natural deduction proof search intercalation calculus non-classical logics

Licence

Exports

RefWorks

BibTeX

Ref. manager

Endnote

DataCite

NLM

DC