首页> 外文OA文献 >Interpolation in Algebraizable Logics; Semantics for Non-normal Multi-modal Logic

【2h】

Interpolation in Algebraizable Logics; Semantics for Non-normal Multi-modal Logic

机译：可代数逻辑中的插值;非正规多模态逻辑的语义

页面导航

著录项
相似文献
相关主题

著录项

作者
Judit X. Madarász; Judit X. Madarapos;
展开▼
作者单位

展开▼
年度 1998
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties [J] . George Voutsadakis Order . 2006,第4期

机译：分类抽象代数逻辑：有序方程逻辑和可代数PoVarieties
2. Variants of multi-relational semantics for propositional non-normal modal logics [J] . Erica Calardo, Antonino Rotolo Journal of applied non-classical logics . 2014,第4期

机译：命题非正规模态逻辑的多关系语义变体
3. A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS [J] . Cintula Petr, Noguera Carles Journal of Symbolic Logic . 2015,第1期

机译：一阶可代数逻辑的Henkin风格证明
4. On the relation between modal and multi-modal logics over Łukasiewicz logic [C] . Francese Esteva, Lluís Godo, Ricardo Óscar Rodríguez IEEE International Conference on Fuzzy Systems . 2017

机译：关于Łukasiewicz逻辑的模态和多模态逻辑之间的关系
5. Logic in topoi: Functorial semantics for high-order logic [D] . Awodey, Steven M. 1997

机译：Topoi中的逻辑：高阶逻辑的函数语义
6. Automatic semantic segmentation of breast tumors in ultrasound images based on combining fuzzy logic and deep learning—A feasibility study [O] . Samir M. Badawy, Abd El-Naser A. Mohamed, Alaa A. Hefnawy, 2021

机译：基于组合模糊逻辑和深度学习的超声图像乳腺肿瘤自动分割 - 一种可行性研究
7. Synthesizing Normal and Non-Normal Modal Logics in Philosophical Epistemology Axiomatic System Modeled by the Logic Square and Hexagon of Opposition [O] . Vladimir O. Lobovikov 2019

机译：在逻辑广场和反对六角形建模的哲学认识论公理系统中综合正常和非正常模态逻辑

Interpolation in Algebraizable Logics; Semantics for Non-normal Multi-modal Logic

著录项

相似文献

相关主题

期刊订阅