Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149581652> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2149581652 endingPage "812" @default.
- W2149581652 startingPage "793" @default.
- W2149581652 abstract "We present an intuitionistic sequent calculus for arbitrary finitely many-valued logics which has a positive semantics given by a natural extension of Kripke models. Our calculus has two types of rules: introduction rules and pseudo-cut rules. The introduction rules introduce formulas at all places on the left or on the right hand side of a sequent. They generalize the introduction rules of 2-places sequent calculus. The pseudo-cut rules allow to introduce formulas in the middle of a sequent. They may not exist in a 2-places sequent calculus. We show the soundness and completeness of our system and we study in detail the cut elimination procedure for these calculi." @default.
- W2149581652 created "2016-06-24" @default.
- W2149581652 creator A5074977736 @default.
- W2149581652 creator A5086918692 @default.
- W2149581652 date "2001-11-01" @default.
- W2149581652 modified "2023-10-16" @default.
- W2149581652 title "Intuitionistic sequent calculi for finitely many-valued logics" @default.
- W2149581652 doi "https://doi.org/10.1093/jigpal/9.6.793" @default.
- W2149581652 hasPublicationYear "2001" @default.
- W2149581652 type Work @default.
- W2149581652 sameAs 2149581652 @default.
- W2149581652 citedByCount "2" @default.
- W2149581652 countsByYear W21495816522012 @default.
- W2149581652 countsByYear W21495816522014 @default.
- W2149581652 crossrefType "journal-article" @default.
- W2149581652 hasAuthorship W2149581652A5074977736 @default.
- W2149581652 hasAuthorship W2149581652A5086918692 @default.
- W2149581652 hasConcept C108710211 @default.
- W2149581652 hasConcept C111404639 @default.
- W2149581652 hasConcept C118615104 @default.
- W2149581652 hasConcept C134306372 @default.
- W2149581652 hasConcept C17231256 @default.
- W2149581652 hasConcept C199343813 @default.
- W2149581652 hasConcept C199360897 @default.
- W2149581652 hasConcept C2524010 @default.
- W2149581652 hasConcept C2777686260 @default.
- W2149581652 hasConcept C33923547 @default.
- W2149581652 hasConcept C39920170 @default.
- W2149581652 hasConcept C41008148 @default.
- W2149581652 hasConcept C62073222 @default.
- W2149581652 hasConcept C6489637 @default.
- W2149581652 hasConcept C65880906 @default.
- W2149581652 hasConcept C71924100 @default.
- W2149581652 hasConcept C89421646 @default.
- W2149581652 hasConceptScore W2149581652C108710211 @default.
- W2149581652 hasConceptScore W2149581652C111404639 @default.
- W2149581652 hasConceptScore W2149581652C118615104 @default.
- W2149581652 hasConceptScore W2149581652C134306372 @default.
- W2149581652 hasConceptScore W2149581652C17231256 @default.
- W2149581652 hasConceptScore W2149581652C199343813 @default.
- W2149581652 hasConceptScore W2149581652C199360897 @default.
- W2149581652 hasConceptScore W2149581652C2524010 @default.
- W2149581652 hasConceptScore W2149581652C2777686260 @default.
- W2149581652 hasConceptScore W2149581652C33923547 @default.
- W2149581652 hasConceptScore W2149581652C39920170 @default.
- W2149581652 hasConceptScore W2149581652C41008148 @default.
- W2149581652 hasConceptScore W2149581652C62073222 @default.
- W2149581652 hasConceptScore W2149581652C6489637 @default.
- W2149581652 hasConceptScore W2149581652C65880906 @default.
- W2149581652 hasConceptScore W2149581652C71924100 @default.
- W2149581652 hasConceptScore W2149581652C89421646 @default.
- W2149581652 hasIssue "6" @default.
- W2149581652 hasLocation W21495816521 @default.
- W2149581652 hasOpenAccess W2149581652 @default.
- W2149581652 hasPrimaryLocation W21495816521 @default.
- W2149581652 hasRelatedWork W1510709103 @default.
- W2149581652 hasRelatedWork W1529708838 @default.
- W2149581652 hasRelatedWork W2025571074 @default.
- W2149581652 hasRelatedWork W2153863776 @default.
- W2149581652 hasRelatedWork W2767873807 @default.
- W2149581652 hasRelatedWork W2963934842 @default.
- W2149581652 hasRelatedWork W3025563859 @default.
- W2149581652 hasRelatedWork W3160700379 @default.
- W2149581652 hasRelatedWork W3172689801 @default.
- W2149581652 hasRelatedWork W3212503723 @default.
- W2149581652 hasVolume "9" @default.
- W2149581652 isParatext "false" @default.
- W2149581652 isRetracted "false" @default.
- W2149581652 magId "2149581652" @default.
- W2149581652 workType "article" @default.