Table admissible inference rules (Q431693): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Admissibility of logical inference rules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bases of admissible rules of the logics S4 and Int / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4390775 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4487248 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3128959 / rank
 
Normal rank

Revision as of 09:38, 5 July 2024

scientific article
Language Label Description Also known as
English
Table admissible inference rules
scientific article

    Statements

    Table admissible inference rules (English)
    0 references
    0 references
    29 June 2012
    0 references
    inference rules
    0 references
    tabular logic
    0 references
    superintuitionistic logic
    0 references

    Identifiers