共 50 条
- [1] NEW FOUNDATIONS FOR IMPERATIVE LOGIC IV: NATURAL DEDUCTIONJOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2019, 6 (03): : 431 - 446Vranas, Peter B. M.
- [2] New Foundations for Imperative Logic: Pure Imperative InferenceMIND, 2011, 120 (478) : 369 - 446Vranas, Peter B. M.
- [3] NATURAL DEDUCTION FOR FIRST-ORDER PURE IMPERATIVE LOGICLOGIQUE ET ANALYSE, 2022, (258) : 167 - 188Vranas, Peter B. M.
- [5] New foundations for imperative logic III: A general definition of argument validitySynthese, 2016, 193 : 1703 - 1753Peter B. M. Vranas
- [6] New Foundations for Imperative Logic I: Logical Connectives, Consistency, and QuantifiersNOUS, 2008, 42 (04): : 529 - 572Vranas, Peter B. M.
- [7] New foundations for imperative logic III: A general definition of argument validitySYNTHESE, 2016, 193 (06) : 1703 - 1753Vranas, Peter B. M.
- [8] Natural deduction for hybrid logicJOURNAL OF LOGIC AND COMPUTATION, 2004, 14 (03) : 229 - 353Braüner, T
- [10] NATURAL DEDUCTION FOR INTUITIONISTIC LINEAR LOGICANNALS OF PURE AND APPLIED LOGIC, 1995, 73 (01) : 79 - 108TROELSTRA, AS