This paper introduces the notion of pedagogical natural deduction systems, which are natural deduction systems with the following additional constraint: all hypotheses made in a proof must be motivated by some example. It is established that such systems are negationless. The expressive power of the pedagogical version of some propositional calculi are studied
In this paper a uniform methodology to perform natural deduction over the family of linear, relevanc...
In this paper a uniform methodology to perform Natural Deduction over the family of linear, relevanc...
We present a framework for machine implementation of families of non-classical logics with Kripke-st...
AbstractThe present work introduces the notion of pedagogical natural deduction systems, i.e. natura...
The present thesis introduces the notion of pedagogical systems, which are natural deduction systems...
In the last few years appeared pedagogical propositional natural deduction systems. In these systems...
Cette thèse introduit la notion de systèmes pédagogiques, qui sont des systèmes de d éducation natur...
It is argued that the sequent calculus is more appropriate to model hypothetical reasoning than the ...
The merits of a system of natural deduction are not only determined by its value as a logical system...
This paper presents two systems of natural deduction for the rejection of non-tautologies of classic...
A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The ope...
This paper continues a systematic approach to build natural deduction calculi and corresponding proo...
Natural deduction is a sound and complete proof procedure for propositional logic, that is, it only...
This paper is concerned with the problem of how to construct a natural deduction system for nonmonot...
The formalization of the notion of a logically sound argument as a natural deduction proof offers th...
In this paper a uniform methodology to perform natural deduction over the family of linear, relevanc...
In this paper a uniform methodology to perform Natural Deduction over the family of linear, relevanc...
We present a framework for machine implementation of families of non-classical logics with Kripke-st...
AbstractThe present work introduces the notion of pedagogical natural deduction systems, i.e. natura...
The present thesis introduces the notion of pedagogical systems, which are natural deduction systems...
In the last few years appeared pedagogical propositional natural deduction systems. In these systems...
Cette thèse introduit la notion de systèmes pédagogiques, qui sont des systèmes de d éducation natur...
It is argued that the sequent calculus is more appropriate to model hypothetical reasoning than the ...
The merits of a system of natural deduction are not only determined by its value as a logical system...
This paper presents two systems of natural deduction for the rejection of non-tautologies of classic...
A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The ope...
This paper continues a systematic approach to build natural deduction calculi and corresponding proo...
Natural deduction is a sound and complete proof procedure for propositional logic, that is, it only...
This paper is concerned with the problem of how to construct a natural deduction system for nonmonot...
The formalization of the notion of a logically sound argument as a natural deduction proof offers th...
In this paper a uniform methodology to perform natural deduction over the family of linear, relevanc...
In this paper a uniform methodology to perform Natural Deduction over the family of linear, relevanc...
We present a framework for machine implementation of families of non-classical logics with Kripke-st...
DOI
Add to ORKG