scientific article; zbMATH DE number 7594174
From MaRDI portal
Publication:5869608
Recommendations
- New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*
- A new dimension of imperative logic
- Natural deduction and sequent calculus for intuitionistic relevant logic
- Natural deduction based upon strict implication for normal modal logics
- scientific article; zbMATH DE number 3902624
- New foundations for imperative logic. III: A general definition of argument validity
- On natural deduction in dependence logic
- An alternative natural deduction for the intuitionistic propositional logic
- Revised foundations for imperative-epistemic and interrogative logic
- Natural deduction for non-classical logics
Cited in
(5)- Advances in natural deduction. A celebration of Dag Prawitz's work. Selected papers based on the presentations at the conference ``Natural deduction, Rio de Janeiro, Brazil, 2001
- New foundations for imperative logic. III: A general definition of argument validity
- New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*
- Natural deduction for first-order pure imperative logic
- In defense of imperative inference
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5869608)
