受强制性开放获取政策约束的文章 - Minghui Ma了解详情
无法在其他位置公开访问的文章：1 篇
A graphical deep inference system for intuitionistic logic
M Minghui, AV Pietarinen
Logique et Analyse 245, 73-114, 2019
强制性开放获取政策： Academy of Finland
可在其他位置公开访问的文章：8 篇
Unified correspondence as a proof-theoretic tool
G Greco, M Ma, A Palmigiano, A Tzimoulis, Z Zhao
Journal of Logic and Computation, 2016
强制性开放获取政策： Netherlands Organisation for Scientific Research
Algebraic semantics and model completeness for intuitionistic public announcement logic
M Ma, A Palmigiano, M Sadrzadeh
Annals of Pure and Applied Logic 165 (4), 963-995, 2014
强制性开放获取政策： UK Engineering and Physical Sciences Research Council
Let us investigate! Dynamic conjecture-making as the formal logic of abduction
M Ma, AV Pietarinen
Journal of Philosophical Logic 47, 913-945, 2018
强制性开放获取政策： Academy of Finland
Proof Analysis of Peirce’s Alpha System of Graphs
M Ma, AV Pietarinen
Studia Logica, 1-23, 2016
强制性开放获取政策： Academy of Finland
Gamma graph calculi for modal logics
M Ma, AV Pietarinen
Synthese, 1-30, 2017
强制性开放获取政策： Academy of Finland
Peirce’s calculi for classical propositional logic
M Ma, AV Pietarinen
The Review of Symbolic Logic 13 (3), 509-540, 2020
强制性开放获取政策： Academy of Finland
Unified correspondence and proof theory for strict implication
M Ma, Z Zhao
Journal of Logic and Computation, 2016
强制性开放获取政策： Netherlands Organisation for Scientific Research
Peirce’s sequent proofs of distributivity
M Ma, AV Pietarinen
Indian Conference on Logic and Its Applications, 168-182, 2016
强制性开放获取政策： Academy of Finland
出版信息和资助信息由计算机程序自动确定