Matches in SemOpenAlex for { <https://semopenalex.org/work/W2183625831> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2183625831 endingPage "211" @default.
- W2183625831 startingPage "195" @default.
- W2183625831 abstract "Since its introduction by Goguen and Burstall in 1984, the theory of institutions has been one of the most widely accepted formalizations of abstract model theory. This work was extended by a number of researchers, José Meseguer among them, who presented General Logics, an abstract framework that complements the model theoretical view of institutions by defining the categorical structures that provide a proof theory for any given logic. In this paper we intend to complete this picture by providing the notion of Satisfiability Calculus, which might be thought of as the semantical counterpart of the notion of proof calculus, that provides the formal foundations for those proof systems that use model construction techniques to prove or disprove a given formula, thus “implementing” the satisfiability relation of an institution." @default.
- W2183625831 created "2016-06-24" @default.
- W2183625831 creator A5016401353 @default.
- W2183625831 creator A5025139066 @default.
- W2183625831 creator A5046933752 @default.
- W2183625831 creator A5080847587 @default.
- W2183625831 date "2013-01-01" @default.
- W2183625831 modified "2023-09-26" @default.
- W2183625831 title "Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics" @default.
- W2183625831 cites W1413630411 @default.
- W2183625831 cites W1492351889 @default.
- W2183625831 cites W1506418353 @default.
- W2183625831 cites W1515857575 @default.
- W2183625831 cites W1617384822 @default.
- W2183625831 cites W1726442598 @default.
- W2183625831 cites W1871900403 @default.
- W2183625831 cites W1877482483 @default.
- W2183625831 cites W1978260344 @default.
- W2183625831 cites W1988964526 @default.
- W2183625831 cites W1998368317 @default.
- W2183625831 cites W2010883554 @default.
- W2183625831 cites W2039977878 @default.
- W2183625831 cites W2060440626 @default.
- W2183625831 cites W2100738443 @default.
- W2183625831 cites W2132371811 @default.
- W2183625831 cites W2137351629 @default.
- W2183625831 cites W2973533397 @default.
- W2183625831 cites W4210927669 @default.
- W2183625831 cites W4211144022 @default.
- W2183625831 cites W4254228903 @default.
- W2183625831 cites W4300668781 @default.
- W2183625831 doi "https://doi.org/10.1007/978-3-642-37635-1_12" @default.
- W2183625831 hasPublicationYear "2013" @default.
- W2183625831 type Work @default.
- W2183625831 sameAs 2183625831 @default.
- W2183625831 citedByCount "0" @default.
- W2183625831 crossrefType "book-chapter" @default.
- W2183625831 hasAuthorship W2183625831A5016401353 @default.
- W2183625831 hasAuthorship W2183625831A5025139066 @default.
- W2183625831 hasAuthorship W2183625831A5046933752 @default.
- W2183625831 hasAuthorship W2183625831A5080847587 @default.
- W2183625831 hasBestOaLocation W21836258311 @default.
- W2183625831 hasConcept C105795698 @default.
- W2183625831 hasConcept C108710211 @default.
- W2183625831 hasConcept C118615104 @default.
- W2183625831 hasConcept C136119220 @default.
- W2183625831 hasConcept C168773769 @default.
- W2183625831 hasConcept C195653647 @default.
- W2183625831 hasConcept C199343813 @default.
- W2183625831 hasConcept C202444582 @default.
- W2183625831 hasConcept C2318724 @default.
- W2183625831 hasConcept C2524010 @default.
- W2183625831 hasConcept C25343380 @default.
- W2183625831 hasConcept C2777686260 @default.
- W2183625831 hasConcept C33923547 @default.
- W2183625831 hasConcept C41008148 @default.
- W2183625831 hasConcept C5274069 @default.
- W2183625831 hasConcept C71924100 @default.
- W2183625831 hasConcept C77088390 @default.
- W2183625831 hasConceptScore W2183625831C105795698 @default.
- W2183625831 hasConceptScore W2183625831C108710211 @default.
- W2183625831 hasConceptScore W2183625831C118615104 @default.
- W2183625831 hasConceptScore W2183625831C136119220 @default.
- W2183625831 hasConceptScore W2183625831C168773769 @default.
- W2183625831 hasConceptScore W2183625831C195653647 @default.
- W2183625831 hasConceptScore W2183625831C199343813 @default.
- W2183625831 hasConceptScore W2183625831C202444582 @default.
- W2183625831 hasConceptScore W2183625831C2318724 @default.
- W2183625831 hasConceptScore W2183625831C2524010 @default.
- W2183625831 hasConceptScore W2183625831C25343380 @default.
- W2183625831 hasConceptScore W2183625831C2777686260 @default.
- W2183625831 hasConceptScore W2183625831C33923547 @default.
- W2183625831 hasConceptScore W2183625831C41008148 @default.
- W2183625831 hasConceptScore W2183625831C5274069 @default.
- W2183625831 hasConceptScore W2183625831C71924100 @default.
- W2183625831 hasConceptScore W2183625831C77088390 @default.
- W2183625831 hasLocation W21836258311 @default.
- W2183625831 hasLocation W21836258312 @default.
- W2183625831 hasLocation W21836258313 @default.
- W2183625831 hasLocation W21836258314 @default.
- W2183625831 hasOpenAccess W2183625831 @default.
- W2183625831 hasPrimaryLocation W21836258311 @default.
- W2183625831 hasRelatedWork W1537230380 @default.
- W2183625831 hasRelatedWork W1563248897 @default.
- W2183625831 hasRelatedWork W1596026002 @default.
- W2183625831 hasRelatedWork W2009791150 @default.
- W2183625831 hasRelatedWork W2012195956 @default.
- W2183625831 hasRelatedWork W2263780827 @default.
- W2183625831 hasRelatedWork W2606181570 @default.
- W2183625831 hasRelatedWork W4210480840 @default.
- W2183625831 hasRelatedWork W76853798 @default.
- W2183625831 hasRelatedWork W838397816 @default.
- W2183625831 isParatext "false" @default.
- W2183625831 isRetracted "false" @default.
- W2183625831 magId "2183625831" @default.
- W2183625831 workType "book-chapter" @default.