Amanote Research

Amanote Research

    RegisterSign In

A Multiple-Conclusion Meta-Logic

doi 10.1109/lics.1994.316062
Full Text
Open PDF
Abstract

Available in full text

Date

Unknown

Authors
D. Miller
Publisher

IEEE Comput. Soc. Press


Related search

Book Review: Multiple-Conclusion Logic

Bulletin of the American Mathematical Society
MathematicsApplied Mathematics
1980English

Two Types of Multiple-Conclusion Systems

Logic Journal of the IGPL
Philosophy
1998English

The Description Logic SHIQ With a Flexible Meta-Modelling Hierarchy

SSRN Electronic Journal
2015English

The Description Logic SHIQ With a Flexible Meta-Modelling Hierarchy

SSRN Electronic Journal
2015English

Conclusion: A Retrospective

English

Conclusion

Missional Leadership
2019English

Conclusion

Centrality and Diversity in Search
2019English

Conclusion

2019English

Conclusion

2020English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy