The deduction theorem for Lukasiewicz many-valued propositional calculi (Q1211488): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5825229 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3235339 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3268305 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations / rank
 
Normal rank

Latest revision as of 14:31, 12 June 2024

scientific article
Language Label Description Also known as
English
The deduction theorem for Lukasiewicz many-valued propositional calculi
scientific article

    Statements

    The deduction theorem for Lukasiewicz many-valued propositional calculi (English)
    0 references
    1964
    0 references

    Identifiers