Sequent Calculi for ‘Generally’ (Q2866737): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Generalized quantifiers and natural language / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4331781 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4364502 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4052071 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5610986 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic with the quantifier “there exist uncountably many” / rank
 
Normal rank
Property / cites work
 
Property / cites work: On a generalization of quantifiers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Defaults as Generalized Quantifiers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5711869 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Natural Deduction for 'Generally' / rank
 
Normal rank
Property / cites work
 
Property / cites work: On ultrafilter logic and special functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4437963 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4888136 / rank
 
Normal rank

Latest revision as of 04:38, 7 July 2024

scientific article
Language Label Description Also known as
English
Sequent Calculi for ‘Generally’
scientific article

    Statements

    Sequent Calculi for ‘Generally’ (English)
    0 references
    0 references
    0 references
    0 references
    13 December 2013
    0 references
    logics of `generally'
    0 references
    vague notions
    0 references
    generalized quantifiers
    0 references
    sequent calculus
    0 references
    cut elimination
    0 references

    Identifiers