• Refine your search:
  • 
    Keyword:
    
    • [SHS.PHIL]Humanities and Social Sciences / Philosophy (3)
    • Aussagenlogik (1)
    • Bolzano (1)
    • Dynamische Logik (1)
    • Grounding (1)
    • [MATH.MATH-LO]Mathematics [math] / Logic [math.LO] (1)
    • arbitrary objects (1)
    • epsilon calculus (1)
    • grounding (1)
    • proof-theoretic semantics (1)
    •   more
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 6 of 6 1 Grounding, Quantifiers, and Paradoxes Genco, Francesco,; Poggiolesi, Francesca; Rossi, Lorenzo In: ISSN: 0022-3611 ; EISSN: 1573-0433 ; Journal of Philosophical Logic ; https://hal.archives-ouvertes.fr/hal-03187627 ; Journal of Philosophical Logic, Springer Verlag, 2021, 50, pp.1417-1448. ⟨10.1007/s10992-021-09604-w⟩ (2021) BASE Show details 2 Grounding rules and (hyper-)isomorphic formulas Poggiolesi, Francesca In: ISSN: 1448-5052 ; Australasian Journal of Logic ; https://hal.archives-ouvertes.fr/hal-02515104 ; Australasian Journal of Logic, Australasian Association for Logic, 2020, 17 (1), pp.70-80 (2020) BASE Show details 3 Grounding rules for (relevant) implication Poggiolesi, Francesca In: ISSN: 1958-5780 ; EISSN: 1166-3081 ; Journal of Applied Non-Classical Logics ; https://hal.archives-ouvertes.fr/hal-02953412 ; Journal of Applied Non-Classical Logics, Taylor & Francis, 2020, pp.26-55. ⟨10.1080/11663081.2020.1850048⟩ (2020) Abstract: International audience ; In Poggiolesi (2020a) a definition of the notion of complete and immediate formal grounding in the background of a relevant framework has been introduced; this definition generates some intuitively acceptable grounding principles for relevant implication. In the present paper our aim is to construct a logic for the notion of complete and immediate formal grounding in a relevant framework based on that definition. Our logic will have the form of a calculus of natural deduction and will formalize the relation of grounding both as a meta-linguistic relation and as a connective. The calculus will contain grounding rules for relevant implication and will be proved to be sound and complete with respect to the original definition. Finally we will prove the deduction theorem at the grounding level, i.e. we will show that grounding formalized as a metalinguistic relation is equivalent to grounding formalized as a connective. Keyword: [SHS.PHIL]Humanities and Social Sciences/Philosophy URL: https://doi.org/10.1080/11663081.2020.1850048 https://hal.archives-ouvertes.fr/hal-02953412/document https://hal.archives-ouvertes.fr/hal-02953412/file/groundingrulesforimplication9.pdf https://hal.archives-ouvertes.fr/hal-02953412 BASE Hide details 4 On the importance of being analytic. The paradigmatic case of the Logic of Proofs Poggiolesi, Francesca In: Logique et analyse. - Brüssel : Vakgroep Wijsbegeerte 55 (2012) 219, 443-462 OLC Linguistik Show details 5 Display calculi and other modal calculi: a comparison Poggiolesi, Francesca In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 173 (2010) 3, 259-279 OLC Linguistik Show details 6 A contraction-free and cut-free sequent calculus for propositional dynamic logic Hill, Brian; Poggiolesi, Francesca In: Studia logica. - Dordrecht : Springer Science + Business Media 94 (2010) 1, 47-72 BLLDB Show details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 2 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 1 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 3 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0