Publications

Proof Search and Counter-Model Construction for Bi-Intuitionistic Propositional Logic with Labelled Sequents

AuthID
P-003-P7F

Author(s)

Pinto, L

Uustalu, T

Editor(s)

Giese, M; Waaler, A

Document Type

Proceedings Paper

Year published

2009

Published

in AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS in Lecture Notes in Artificial Intelligence, ISSN: 0302-9743

Volume: 5607, Pages: 295-309 (15)

Conference

18Th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Date: JUL 06-10, 2009, Location: Oslo, NORWAY, Sponsors: Norwegian Res Council, Norwegian Oil Ind Assoc, Gaz France SUEZ, DNV, Computas AS, Univ Oslo, Dept Informat, City Oslo

Indexing