Beth Tableaux for Propositional Partial Information Ionic Logic

Abdallah, Areski Nait

doi:10.1007/978-3-642-78160-5_8

Areski Nait Abdallah⁵

Part of the book series: Monographs in Theoretical Computer Science An EATCS Series ((EATCS))

104 Accesses

Abstract

This chapter presents an analytical proof procedure for partial information ionic logic.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Chapter: USD 29.95; Price excludes VAT (USA)

eBook: USD 84.99; Price excludes VAT (USA)

Softcover Book: USD 109.99; Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

Middlesex College, Department of Computer Science, University of Western Ontario, London, Ontario, N6A 5B7, Canada
Prof. Dr. Areski Nait Abdallah

Authors

Prof. Dr. Areski Nait Abdallah
View author publications
You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

About this chapter

Cite this chapter

Abdallah, A.N. (1995). Beth Tableaux for Propositional Partial Information Ionic Logic. In: The Logic of Partial Information. Monographs in Theoretical Computer Science An EATCS Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78160-5_8

Download citation

DOI: https://doi.org/10.1007/978-3-642-78160-5_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-78162-9
Online ISBN: 978-3-642-78160-5
eBook Packages: Springer Book Archive

Publish with us

Policies and ethics