海量图书期刊资源,随时随地畅享阅读乐趣
Normal derivability in modal logicJan von Plato · 2005
Finite partial exchangeabilityJan von Plato · 1991
The axioms of constructive geometryJan von Plato · 1995
Boltzmann's ergodic hypothesisJan von Plato · Archive for History of Exact Sciences · 1991
Reductive relations in interpretations of probabilityJan von Plato · Synthese · 1981
Permutability of rules in lattice theorySara Negri; Jan von Plato · Algebra Universalis · 2002
Natural deduction with general elimination rulesJan von Plato · Archive for Mathematical Logic · 2001
Rereading GentzenJan Von Plato · Synthese · 2003