FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3049148892> ?p ?o ?g. }

• W3049148892 endingPage "148" @default.
• W3049148892 startingPage "117" @default.
• W3049148892 abstract "Abstract Free logics is a family of first-order logics which came about as a result of examining the existence assumptions of classical logic. What those assumptions are varies, but the central ones are that (i) the domain of interpretation is not empty, (ii) every name denotes exactly one object in the domain and (iii) the quantifiers have existential import. Free logics usually reject the claim that names need to denote in (ii), and of the systems considered in this paper, the positive free logic concedes that some atomic formulas containing non-denoting names (namely self-identity) are true, while negative free logic rejects even the latter claim. Inclusive logics, which reject (i), are likewise considered. These logics have complex and varied axiomatizations and semantics, and the goal of this paper is to present an orderly examination of the various systems and their mutual relations. This is done by first offering a formalization, using sequent calculi which possess all the desired structural properties of a good proof system, including admissibility of contraction and cut, while streamlining free logics in a way no other approach has. We then present a simple and unified system of abstract semantics, which allows for a straightforward demonstration of the meta-theoretical properties, and offers insights into the relationship between different logics (free and classical). The final part of this paper is dedicated to extending the system with modalities by using a labeled sequent calculus, and here we are again able to map out the different approaches and their mutual relations using the same framework." @default.
• W3049148892 created "2020-08-21" @default.
• W3049148892 creator A5014836729 @default.
• W3049148892 creator A5038617700 @default.
• W3049148892 date "2020-08-17" @default.
• W3049148892 modified "2023-09-25" @default.
• W3049148892 title "A More Unified Approach to Free Logics" @default.
• W3049148892 cites W1043660496 @default.
• W3049148892 cites W1528233644 @default.
• W3049148892 cites W1968619110 @default.
• W3049148892 cites W1994582078 @default.
• W3049148892 cites W1995718667 @default.
• W3049148892 cites W2045185092 @default.
• W3049148892 cites W2090663022 @default.
• W3049148892 cites W2137540712 @default.
• W3049148892 cites W2140083182 @default.
• W3049148892 cites W2149122857 @default.
• W3049148892 cites W2613140056 @default.
• W3049148892 cites W2839780276 @default.
• W3049148892 cites W2946543186 @default.
• W3049148892 cites W2950279424 @default.
• W3049148892 cites W2974740209 @default.
• W3049148892 cites W4237150514 @default.
• W3049148892 cites W4247609109 @default.
• W3049148892 cites W4249736722 @default.
• W3049148892 cites W4361791215 @default.
• W3049148892 cites W774552653 @default.
• W3049148892 doi "https://doi.org/10.1007/s10992-020-09564-7" @default.
• W3049148892 hasPublicationYear "2020" @default.
• W3049148892 type Work @default.
• W3049148892 sameAs 3049148892 @default.
• W3049148892 citedByCount "6" @default.
• W3049148892 countsByYear W30491488922021 @default.
• W3049148892 countsByYear W30491488922022 @default.
• W3049148892 countsByYear W30491488922023 @default.
• W3049148892 crossrefType "journal-article" @default.
• W3049148892 hasAuthorship W3049148892A5014836729 @default.
• W3049148892 hasAuthorship W3049148892A5038617700 @default.
• W3049148892 hasBestOaLocation W30491488921 @default.
• W3049148892 hasConcept C102993220 @default.
• W3049148892 hasConcept C108710211 @default.
• W3049148892 hasConcept C111472728 @default.
• W3049148892 hasConcept C118615104 @default.
• W3049148892 hasConcept C134306372 @default.
• W3049148892 hasConcept C136119220 @default.
• W3049148892 hasConcept C138885662 @default.
• W3049148892 hasConcept C154945302 @default.
• W3049148892 hasConcept C160131679 @default.
• W3049148892 hasConcept C1883856 @default.
• W3049148892 hasConcept C199343813 @default.
• W3049148892 hasConcept C199360897 @default.
• W3049148892 hasConcept C202444582 @default.
• W3049148892 hasConcept C2524010 @default.
• W3049148892 hasConcept C2777686260 @default.
• W3049148892 hasConcept C2780586882 @default.
• W3049148892 hasConcept C32241873 @default.
• W3049148892 hasConcept C33203268 @default.
• W3049148892 hasConcept C33923547 @default.
• W3049148892 hasConcept C36503486 @default.
• W3049148892 hasConcept C41008148 @default.
• W3049148892 hasConcept C42011625 @default.
• W3049148892 hasConcept C5263885 @default.
• W3049148892 hasConcept C527412718 @default.
• W3049148892 hasConcept C58166 @default.
• W3049148892 hasConcept C65880906 @default.
• W3049148892 hasConcept C71924100 @default.
• W3049148892 hasConcept C80444323 @default.
• W3049148892 hasConcept C86602344 @default.
• W3049148892 hasConcept C89421646 @default.
• W3049148892 hasConcept C98224912 @default.
• W3049148892 hasConceptScore W3049148892C102993220 @default.
• W3049148892 hasConceptScore W3049148892C108710211 @default.
• W3049148892 hasConceptScore W3049148892C111472728 @default.
• W3049148892 hasConceptScore W3049148892C118615104 @default.
• W3049148892 hasConceptScore W3049148892C134306372 @default.
• W3049148892 hasConceptScore W3049148892C136119220 @default.
• W3049148892 hasConceptScore W3049148892C138885662 @default.
• W3049148892 hasConceptScore W3049148892C154945302 @default.
• W3049148892 hasConceptScore W3049148892C160131679 @default.
• W3049148892 hasConceptScore W3049148892C1883856 @default.
• W3049148892 hasConceptScore W3049148892C199343813 @default.
• W3049148892 hasConceptScore W3049148892C199360897 @default.
• W3049148892 hasConceptScore W3049148892C202444582 @default.
• W3049148892 hasConceptScore W3049148892C2524010 @default.
• W3049148892 hasConceptScore W3049148892C2777686260 @default.
• W3049148892 hasConceptScore W3049148892C2780586882 @default.
• W3049148892 hasConceptScore W3049148892C32241873 @default.
• W3049148892 hasConceptScore W3049148892C33203268 @default.
• W3049148892 hasConceptScore W3049148892C33923547 @default.
• W3049148892 hasConceptScore W3049148892C36503486 @default.
• W3049148892 hasConceptScore W3049148892C41008148 @default.
• W3049148892 hasConceptScore W3049148892C42011625 @default.
• W3049148892 hasConceptScore W3049148892C5263885 @default.
• W3049148892 hasConceptScore W3049148892C527412718 @default.
• W3049148892 hasConceptScore W3049148892C58166 @default.
• W3049148892 hasConceptScore W3049148892C65880906 @default.
• W3049148892 hasConceptScore W3049148892C71924100 @default.
• W3049148892 hasConceptScore W3049148892C80444323 @default.

• next