Add to ORKGIn this paper some results are found about the validity of a Deduction Theorem for the complete axiomatizations of Lukasiewicz many-valued propositional calculi. These results follow from detailed analysis of the rules of inference occurring in each system
Various sources in the literature claim that the deduction theorem does not hold for normal modal or...
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of exc...
In this paper a unified classification is proposed of the rules of inference of classical, modal and...
In this paper some results are found about the validity of a Deduction Theorem for the complete axio...
In this paper we present some mechanical proofs in the many-valued logic dened by Lukasiewicz. The m...
This paper reports results and some new problems in one of the domains to which automatic first-orde...
We present two deductively equivalent calculi for non-deterministicmany-valued logics. One is define...
In this paper we deepen Mundici's analysis on reducibility of the decision problem from infinite-val...
In this paper we define internal cut-free sequent calculi for any n-valued Lukasiewicz logic Ln. The...
In this paper we present the theorem prover SBR3 for equational logic and itsapplication in the many...
The study of propositional realizability logic was initiated in the 50th of the last century. Unfor...
The purpose of this paper is to give a purely logical proof of a result of Mostowski [1937] concerni...
In this paper we present a very general deduction theorem which -based upon a uniform notion of proo...
In this paper a very general deduction theorem is presented, that is based upon a uniform notion of ...
This is a continuation of Vol. 7 of Trends in Logic. It wil cover the wealth of recent developments ...
Various sources in the literature claim that the deduction theorem does not hold for normal modal or...
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of exc...
In this paper a unified classification is proposed of the rules of inference of classical, modal and...
In this paper some results are found about the validity of a Deduction Theorem for the complete axio...
In this paper we present some mechanical proofs in the many-valued logic dened by Lukasiewicz. The m...
This paper reports results and some new problems in one of the domains to which automatic first-orde...
We present two deductively equivalent calculi for non-deterministicmany-valued logics. One is define...
In this paper we deepen Mundici's analysis on reducibility of the decision problem from infinite-val...
In this paper we define internal cut-free sequent calculi for any n-valued Lukasiewicz logic Ln. The...
In this paper we present the theorem prover SBR3 for equational logic and itsapplication in the many...
The study of propositional realizability logic was initiated in the 50th of the last century. Unfor...
The purpose of this paper is to give a purely logical proof of a result of Mostowski [1937] concerni...
In this paper we present a very general deduction theorem which -based upon a uniform notion of proo...
In this paper a very general deduction theorem is presented, that is based upon a uniform notion of ...
This is a continuation of Vol. 7 of Trends in Logic. It wil cover the wealth of recent developments ...
Various sources in the literature claim that the deduction theorem does not hold for normal modal or...
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of exc...
In this paper a unified classification is proposed of the rules of inference of classical, modal and...