Matches in SemOpenAlex for { <https://semopenalex.org/work/W98985150> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W98985150 endingPage "338" @default.
- W98985150 startingPage "319" @default.
- W98985150 abstract "In this paper we study the algebraization of two Gentzen systems, both of them generating the implication-less fragment of the intuitionistic propositional calculus. We prove that they are algebraizable, the variety of pseudocomplemented distributive lattices being an equivalent algebraic semantics for them, in the sense that their Gentzen deduction and the equational deduction over this variety are interpretable in one another, these interpretations being essentially inverse to one another. As a consequence, the consistent deductive systems that satisfy the properties of Conjunction, Disjunction and Pseudo-Reductio ad Absurdum are described by giving apropriate Gentzen systems for them. All these Gentzen systems are algebraizable, the subvarieties of the variety of pseudocomplemented distributive lattices being their equivalent algebraic semantics respectively. Finally we give a Gentzen system for the conjunction and disjunction fragment of the classical propositional calculus, prove that the variety of distributive lattices is an equivalent algebraic semantics for it and give a Gentzen system, weaker than the latter, the variety of lattices being an equivalent algebraic semantics for it." @default.
- W98985150 created "2016-06-24" @default.
- W98985150 creator A5059340730 @default.
- W98985150 creator A5061954062 @default.
- W98985150 date "1993-04-01" @default.
- W98985150 modified "2023-10-03" @default.
- W98985150 title "On the Algebraization of Some Gentzen Systems1" @default.
- W98985150 doi "https://doi.org/10.3233/fi-1993-182-417" @default.
- W98985150 hasPublicationYear "1993" @default.
- W98985150 type Work @default.
- W98985150 sameAs 98985150 @default.
- W98985150 citedByCount "37" @default.
- W98985150 countsByYear W989851502013 @default.
- W98985150 countsByYear W989851502017 @default.
- W98985150 countsByYear W989851502018 @default.
- W98985150 countsByYear W989851502019 @default.
- W98985150 countsByYear W989851502021 @default.
- W98985150 countsByYear W989851502023 @default.
- W98985150 crossrefType "journal-article" @default.
- W98985150 hasAuthorship W98985150A5059340730 @default.
- W98985150 hasAuthorship W98985150A5061954062 @default.
- W98985150 hasConcept C102993220 @default.
- W98985150 hasConcept C105795698 @default.
- W98985150 hasConcept C11413529 @default.
- W98985150 hasConcept C11821877 @default.
- W98985150 hasConcept C118615104 @default.
- W98985150 hasConcept C134306372 @default.
- W98985150 hasConcept C136119220 @default.
- W98985150 hasConcept C136197465 @default.
- W98985150 hasConcept C160131679 @default.
- W98985150 hasConcept C184337299 @default.
- W98985150 hasConcept C199343813 @default.
- W98985150 hasConcept C199360897 @default.
- W98985150 hasConcept C202444582 @default.
- W98985150 hasConcept C2776235265 @default.
- W98985150 hasConcept C2777686260 @default.
- W98985150 hasConcept C2779729104 @default.
- W98985150 hasConcept C33203268 @default.
- W98985150 hasConcept C33923547 @default.
- W98985150 hasConcept C41008148 @default.
- W98985150 hasConcept C69562738 @default.
- W98985150 hasConcept C71924100 @default.
- W98985150 hasConcept C80444323 @default.
- W98985150 hasConcept C9376300 @default.
- W98985150 hasConceptScore W98985150C102993220 @default.
- W98985150 hasConceptScore W98985150C105795698 @default.
- W98985150 hasConceptScore W98985150C11413529 @default.
- W98985150 hasConceptScore W98985150C11821877 @default.
- W98985150 hasConceptScore W98985150C118615104 @default.
- W98985150 hasConceptScore W98985150C134306372 @default.
- W98985150 hasConceptScore W98985150C136119220 @default.
- W98985150 hasConceptScore W98985150C136197465 @default.
- W98985150 hasConceptScore W98985150C160131679 @default.
- W98985150 hasConceptScore W98985150C184337299 @default.
- W98985150 hasConceptScore W98985150C199343813 @default.
- W98985150 hasConceptScore W98985150C199360897 @default.
- W98985150 hasConceptScore W98985150C202444582 @default.
- W98985150 hasConceptScore W98985150C2776235265 @default.
- W98985150 hasConceptScore W98985150C2777686260 @default.
- W98985150 hasConceptScore W98985150C2779729104 @default.
- W98985150 hasConceptScore W98985150C33203268 @default.
- W98985150 hasConceptScore W98985150C33923547 @default.
- W98985150 hasConceptScore W98985150C41008148 @default.
- W98985150 hasConceptScore W98985150C69562738 @default.
- W98985150 hasConceptScore W98985150C71924100 @default.
- W98985150 hasConceptScore W98985150C80444323 @default.
- W98985150 hasConceptScore W98985150C9376300 @default.
- W98985150 hasIssue "2-4" @default.
- W98985150 hasLocation W989851501 @default.
- W98985150 hasOpenAccess W98985150 @default.
- W98985150 hasPrimaryLocation W989851501 @default.
- W98985150 hasRelatedWork W1535840459 @default.
- W98985150 hasRelatedWork W1779606338 @default.
- W98985150 hasRelatedWork W2006614341 @default.
- W98985150 hasRelatedWork W2027875302 @default.
- W98985150 hasRelatedWork W2037711229 @default.
- W98985150 hasRelatedWork W2734938181 @default.
- W98985150 hasRelatedWork W2765632842 @default.
- W98985150 hasRelatedWork W89996766 @default.
- W98985150 hasRelatedWork W98985150 @default.
- W98985150 hasRelatedWork W2111807398 @default.
- W98985150 hasVolume "18" @default.
- W98985150 isParatext "false" @default.
- W98985150 isRetracted "false" @default.
- W98985150 magId "98985150" @default.
- W98985150 workType "article" @default.