首页 | 本学科首页   官方微博 | 高级检索  
   检索      


A note on direct products and ultraproducts of logical matrices
Authors:Jan Zygmunt
Institution:1. The Section of Logic, Polish Academy of Sciences, Wroc?aw
Abstract:In this contribution we shall characterize matrix consequence operation determined by a direct product and an ultraproduct of a family of logical matrices. As an application we shall describe finite consequence operations with the help of ultrapowers.
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号