FRINK Linked Data Fragments server

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

• W2115895996 endingPage "537" @default.
• W2115895996 startingPage "513" @default.
• W2115895996 abstract "A class of axiomatic theories with arbitrary quantifier alternations is identified and a conversion to normal form is provided in terms of generalized geometric implications . The class is also characterized in terms of Glivenko classes as those first-order formulas that do not contain implications or universal quantifiers in the negative part. It is shown how the methods of proof analysis can be extended to cover such axioms by means of conversion to systems of rules . The structural properties for the resulting extensions of sequent calculus are established and a generalization of the first-order Barr theorem is shown to follow as an immediate application. The method is also applied to obtain complete labelled proof systems for logics defined through their relational semantics. In particular, the method provides analytic proof systems for all the modal logics in the Sahlqvist fragment." @default.
• W2115895996 created "2016-06-24" @default.
• W2115895996 creator A5051669490 @default.
• W2115895996 date "2014-06-13" @default.
• W2115895996 modified "2023-10-18" @default.
• W2115895996 title "Proof analysis beyond geometric theories: from rule systems to systems of rules" @default.
• W2115895996 cites W1043660496 @default.
• W2115895996 cites W1528233644 @default.
• W2115895996 cites W1968581827 @default.
• W2115895996 cites W1977180425 @default.
• W2115895996 cites W1981652842 @default.
• W2115895996 cites W1988047824 @default.
• W2115895996 cites W1990493960 @default.
• W2115895996 cites W1995718667 @default.
• W2115895996 cites W2010146589 @default.
• W2115895996 cites W2013281463 @default.
• W2115895996 cites W2023809954 @default.
• W2115895996 cites W2041585656 @default.
• W2115895996 cites W2055253305 @default.
• W2115895996 cites W2090663022 @default.
• W2115895996 cites W2097313873 @default.
• W2115895996 cites W2132979411 @default.
• W2115895996 cites W2160771441 @default.
• W2115895996 cites W2166222323 @default.
• W2115895996 cites W4211144022 @default.
• W2115895996 cites W4232260471 @default.
• W2115895996 cites W4249736722 @default.
• W2115895996 doi "https://doi.org/10.1093/logcom/exu037" @default.
• W2115895996 hasPublicationYear "2014" @default.
• W2115895996 type Work @default.
• W2115895996 sameAs 2115895996 @default.
• W2115895996 citedByCount "32" @default.
• W2115895996 countsByYear W21158959962014 @default.
• W2115895996 countsByYear W21158959962015 @default.
• W2115895996 countsByYear W21158959962016 @default.
• W2115895996 countsByYear W21158959962017 @default.
• W2115895996 countsByYear W21158959962018 @default.
• W2115895996 countsByYear W21158959962019 @default.
• W2115895996 countsByYear W21158959962020 @default.
• W2115895996 countsByYear W21158959962021 @default.
• W2115895996 countsByYear W21158959962022 @default.
• W2115895996 countsByYear W21158959962023 @default.
• W2115895996 crossrefType "journal-article" @default.
• W2115895996 hasAuthorship W2115895996A5051669490 @default.
• W2115895996 hasConcept C108710211 @default.
• W2115895996 hasConcept C118615104 @default.
• W2115895996 hasConcept C125773388 @default.
• W2115895996 hasConcept C134306372 @default.
• W2115895996 hasConcept C136119220 @default.
• W2115895996 hasConcept C154945302 @default.
• W2115895996 hasConcept C167729594 @default.
• W2115895996 hasConcept C177148314 @default.
• W2115895996 hasConcept C185592680 @default.
• W2115895996 hasConcept C188027245 @default.
• W2115895996 hasConcept C195653647 @default.
• W2115895996 hasConcept C199343813 @default.
• W2115895996 hasConcept C202444582 @default.
• W2115895996 hasConcept C2318724 @default.
• W2115895996 hasConcept C2524010 @default.
• W2115895996 hasConcept C2777212361 @default.
• W2115895996 hasConcept C2777686260 @default.
• W2115895996 hasConcept C33923547 @default.
• W2115895996 hasConcept C41008148 @default.
• W2115895996 hasConcept C65880906 @default.
• W2115895996 hasConcept C71139939 @default.
• W2115895996 hasConcept C71924100 @default.
• W2115895996 hasConcept C89421646 @default.
• W2115895996 hasConceptScore W2115895996C108710211 @default.
• W2115895996 hasConceptScore W2115895996C118615104 @default.
• W2115895996 hasConceptScore W2115895996C125773388 @default.
• W2115895996 hasConceptScore W2115895996C134306372 @default.
• W2115895996 hasConceptScore W2115895996C136119220 @default.
• W2115895996 hasConceptScore W2115895996C154945302 @default.
• W2115895996 hasConceptScore W2115895996C167729594 @default.
• W2115895996 hasConceptScore W2115895996C177148314 @default.
• W2115895996 hasConceptScore W2115895996C185592680 @default.
• W2115895996 hasConceptScore W2115895996C188027245 @default.
• W2115895996 hasConceptScore W2115895996C195653647 @default.
• W2115895996 hasConceptScore W2115895996C199343813 @default.
• W2115895996 hasConceptScore W2115895996C202444582 @default.
• W2115895996 hasConceptScore W2115895996C2318724 @default.
• W2115895996 hasConceptScore W2115895996C2524010 @default.
• W2115895996 hasConceptScore W2115895996C2777212361 @default.
• W2115895996 hasConceptScore W2115895996C2777686260 @default.
• W2115895996 hasConceptScore W2115895996C33923547 @default.
• W2115895996 hasConceptScore W2115895996C41008148 @default.
• W2115895996 hasConceptScore W2115895996C65880906 @default.
• W2115895996 hasConceptScore W2115895996C71139939 @default.
• W2115895996 hasConceptScore W2115895996C71924100 @default.
• W2115895996 hasConceptScore W2115895996C89421646 @default.
• W2115895996 hasIssue "2" @default.
• W2115895996 hasLocation W21158959961 @default.
• W2115895996 hasOpenAccess W2115895996 @default.
• W2115895996 hasPrimaryLocation W21158959961 @default.
• W2115895996 hasRelatedWork W1566344352 @default.
• W2115895996 hasRelatedWork W1695339719 @default.
• W2115895996 hasRelatedWork W2169981414 @default.
• W2115895996 hasRelatedWork W2244976569 @default.

• next