机译:论语用学的直觉逻辑
Dipartimento di Informatica, Universita di Verona, Strada Le Grazie, 37134 Verona, Italy;
FISPPA Department University of Padua, Padua, Italy;
DMM, University of Padua, Padua, Italy;
Logic for pragmatics; computational interpretations of co-intuitionism; meaning-as-use; speech-acts theory;
机译:实用ILP直觉逻辑的克里普克式语义学
机译:通过嵌套顺序的时态逻辑和双直觉逻辑的句法插值
机译:直觉逻辑和模态逻辑S4中用于证明搜索和计划的多主体对话和对话序列
机译:直觉模糊描述逻辑与直觉模糊逻辑程序相结合的混合系统
机译:单子直觉和模态逻辑承认可证明性
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:语用ILp的直觉逻辑的Kripke风格语义
机译:从索引的Lax逻辑到直觉逻辑