CiteULike is a free online bibliography manager. Register
and you can start organising your references online.
Different types of arrow between logical frameworksby: Till Mossakowski
Automata, Languages and Programming (1996), pp. 158-169.
|
Reviews
[Write a review of this article]
There are no reviews of this article
Find related articles from these CiteULike users Find related articles with these CiteULike tags 摘要We argue that there are problems with the distinction between signatures and sentences within the notion of institution. While the distinction is useful and necessary, maps between institutions ofter have to go beyond this distinction. Therefore, three new notions of map between institutions, conjunctive maps, weak maps and semi-maps, have been introduced. These allow to relax the distinction between signatures and sentences while still being sentence-structured, opposed to mere maps of specification frames.
BibTeX record RIS record0-toposes 10d 11d 1d-strings 1-toposes 24-7 2-categories 2d 2-theories 2-toposes 3d 4d 4-manifolds abduction abductive abductive-inference abductive-logic-programming abductive-reasoning abilities ability ability-space abstract-algebraic-logic abstracting abstraction abstract-model-theory abstract-rewriting abstract-syntax-tree acceptability accessability accessibility accessible-categories acoustics action-spaces active-learning activities adaptation adaption adaptive adaptive-logic adaptive-mixtures-of-experts adaptive-systems adaptivity adiabatic adjoint-functors adjoints adjunctions adversary agency-theory agent-based agent-theory aggregation aggregators aging agoras aif aixi al algebraic algebraic-dynamics algebraic-geometry algebraic-groups algebraicity algebraic-methods algebraic-semiotics algebraic-simulation algebraic-specifications algebraic-stacks algebraic-structures algebraic-theories algebraic-topology algebras algebroids algorithm algorithmic-economics algorithmic-information-theory algorithmic-quantum-information-theory algorithms algorithm-selection aligning alignment all-categorical-structures allegories all-mathematical-structures allocating allocation all-possible-situations all-possible-worlds all-scientific-theories alp alphas alternating-temporal-epistemic-logic alternating-temporal-logic amino-acids aml amorphous-computing amygdala analog-computing analogy analyzing animals animating annotating annotation anomalies anonymity answer-set-programming antagonistic antennas anticipatory-systems antimatroids antinomies apis approximating arbitrage argdf arguing argumentation argumentation-games argumentation-system argumentation-systems argumentation-theory argumenting arguments argument-tree arithmetical-logic arrangements art artificial-memories artificial-society aspect-graphs aspect-oriented-programming aspects assembling assessment asset-space assistance assisting association-rules astronomy asymmetries asymmetry asymptotic asynchronous atmospherics atoms atp attention attitudes attractors attractor-selection attractor-switching attribute-exploration auctions augmentation augmented-cognition augmented-reality augmenting authoring authorities autocatalyticity automata automata-theory automating automation automatization automatons autonomic-computing autonomous-systems autonomy award-systems axiomatic axiomatics axiomatizability axiomatization axiomatizations banach-spaces bandits bayesian bayesianism bayesianity bci bcis bdi bdi-agents beamformer beamforming bearish bec behaving behavior behavioral-equivalence behavioral-finance behavior-analysis behavior-modeling behavior-monitoring behaviors behavior-space behaviour behaviours beliefs belief-systems benchmarks betas betting bialgebras bias billiards binomial-lattices biocomputing biography biological-effects biologically-plausible biology biomathematics bionics biophysics biosemiotics bisimilarity bisimulation bisolitons black-holes blasars block-orders blogging bloging boolean-categories boosting boundedness bounds bound-states brain-mapping brain-oscillations brain-processes brain-reading brain-theories branes breathers browsing brst bundels bundles business-cycles business-cycle-theory business-development business-intelligence business-modeling business-models business-process business-processes cad calculational calculi calculus calculuses calculus-of-constructions calculus-of-structures calendars calibrating calibration callaboration cancer cantor-set cantor-sets cantor-space capacity capm capturing cartesian-closed-categories cartesian-closed-posets cash-flow categorical categorical-algebra categorical-logic categorical-metamathematical-frameworks categorical-theories categories categories-of-strategies categorification categorifications categorization categorizing category-of-abilities category-of-algebras category-of-arguments category-of-artificial-perceptions category-of-bialgebras category-of-categories category-of-cells category-of-cobordisms category-of-configuration-spaces category-of-contexts category-of-contracts category-of-dialgebras category-of-dynamical-systems category-of-effects category-of-episodes category-of-equations category-of-events category-of-experiments category-of-formal-contexts category-of-functionalities category-of-gravity-theories category-of-interactions category-of-investments category-of-languages category-of-logical-frameworks category-of-metaframeworks category-of-models category-of-modules category-of-normative-systems category-of-ontologies category-of-organizations category-of-patents category-of-phase-spaces category-of-plans category-of-policies category-of-potentials category-of-processes category-of-products category-of-programs category-of-projects category-of-quantum-automata category-of-relations category-of-resources category-of-scenes category-of-sciences category-of-skills category-of-spacetimes category-of-specifications category-of-state-spaces category-of-statistics category-of-strategies category-of-systems category-of-technologies category-of-theories category-of-universes category-of-values category-theory causality causal-reasoning cavities cavity-resonators cbr cdos cell-membranes cells cellular centralizer-groups centralizers change-dedection change-detection channels chaos choice-functions chu-space chu-spaces cip circuitry cladni-patterns classicality classical-logic classification classifications classifiers classifying classifying-toposes clickstreams climate-change clique cliques closure closure-structures closure-systems clustering clusters cmb coalgebra coalgebraic coalgebraicity coalgebraic-methods coalgebraic-structures coalgebras coalgebroids coalition-forming coalitioning coalition-logic coalitions coargebras code-carrying coding coding-theory coevolution coevolutionary cognition cognitive-agents cognitive-algorithms cognitive-architectures cognitive-dynamics cognitive-hierarchies cognitive-neurosicience cognitive-processes cognitive-space cognitive-states cognitive-task-analysis cognitve-agents coherence coherent-categories coherent-logic cohesion cohomologies cohomology coinduction colimits collaborating collaboration collaborative collective combination combinations-of-interactions combinatorial-geometry combinatorial-group-theory combinatorics combinaturics combining commodities common-priors communication communities community comonads comovements compactness-theorem companies comparing comparison compatibility competence-management competing competition compilation complete-heyting-algebras complete-lattices completions complexergy complexes complexity complexity-classes complexity-theory composability composition compositionality compostionality compressing compression computability computability-logic computability-theory computable-dynamics computable-economics computable-justice computable-preference computable-utility computational-algebraic-geometry computational-complexity computational-complexity-theory computational-cosmology computational-creativity computational-dialectics computational-dynamics computational-economics computational-epistemology computational-finance computational-frameworks computational-games computational-geometry computational-group-theory computational-intelligence computational-justice computational-justice-sciences computational-learning computational-learning-theory computational-legal-sciences computational-linguistics computational-logic computational-mechanics computational-narratology computational-neuroscience computational-physics computational-politics computational-quantum-field-theory computational-science computational-sociology computational-substrates computational-trading computing concept-lattice concept-lattices conceptua conceptual-graphs conceptualizations conceptualizing conceptual-structures concerns concurrency confinement conflict-resolution conflicts conjectures connectionism connections connection-theory connectivity connexive-logic consciousness constants constraints constructibility constructible-justice constructible-sets constructible-universe constructive constructive-complexity constructive-dimension constructive-economics constructive-justice constructive-justice-sciences constructive-logic constructive-logics constructive-mathematical-structures constructive-mathematics constructive-matrix-theory constructive-metamathematical-frameworks constructive-metamathematics constructive-model-theory constructive-physics constructive-type-theory constructive-utility constructivism constructivity constructivization content-management content-selection context contexts contextual-categories contextuality contextualization contextualizing contextual-reasoning contextualtiy continued-fractions continuity continuous-computing continuous-topological-evolution contracting contracts control controlability control-flow control-frameworks controlled-languages controlling control-systems convexity cooperation cooperation-logic coordinating coordination copulas corecursion corings corpuses correctness correlation-dimension correlation-entropy correlations correspondence corrsepondence corruption cosemigroups coskewness cosmological-frameworks cosmological-models cosmological-theories cosmological-theory cosmologica-models cosmology cougar countability coupled craig-interpolation crawling creativity credit-crisis credit-markets crisis criticality cultural-evolution curiosity currencies curvature cyberinfrastructure cybernetics cycles cylinders cymatics dark-energy dark-matter databases data-fusion data-management data-mining db d-branes decentralized decidability deciding decision-problems decision-procedure decision-procedures decisions decision-theory decoding decoherence decomposition decremental default-reasoning defeasible defeasible-deontic-logic defeasible-logic definability deformation deformation-theory degrees-of-freedom deliberative democracy deontic-logic dependent-type-theory derivatives describability description-logic descriptive-complexity designing design-theory desires detecting detection determinism detrended-fluctuation-analysis dev developmental-robotics diagram diagrammatic-reasoning diagrams dialectical-tree dialgebras dialogical-logic dialogue dialogue-games dialogue-tree differential-calculus differential-equations differential-forms differential-geometry differential-topology dilemmas dimensional-analysis dimensionality diophantine diophantine-equations dipolarity dipoles discontinuities discontinuity discourse discourse-representation-structures discourse-representation-theory discourses discovering discovery discreteness disordered disordered-media disordered-mediums disordered-system disordered-systems dispute-tree dissimilarity dissipative distance distributed distributed-computing distributed-information-storage distributed-logics distributedness distributed-operating-system distributed-reasoning distributed-representations distributions distributive-justice domain-theory drafting drs dualities duality dunn-semantics dynamical-similarity dynamical-system dynamical-systems dynamic-hedging dynamic-logic dynamics dynamic-semantics dynamic-similarity e8 earth earthquakes econcomics econometrics economic-dynamics economic-frameworks economic-interactions economic-models economic-networks economic-processes economics economic-systems economic-theories economies econophysics ecosystem edemocracy e-democracy editors educating edutainment eeg effective-fractal-dimension effective-string-theory effective-topos effectivity effects efficieny eigenbehaviors eigenoscillations electricity electromagnetic electrons elementary-particles elf em embedding emergence emergent-semantics emerging-markets emf emotions end-user-programming energies energy energy-functions engineering ensemble-coding ensembles ensemble-theories entanglement enterprise enterprises entropies entropy enumerability epigenetics epigenomes episode-extraction episodes episodic episodic-memory episodic--memory epistemic epistemic-logic epistemology equality equation equational equational-logic equational-paritality equational-theories equation-discovery equations equilibria equilibrium equilibriums equities equivalence equivalence-class equivalence-classes evaluating evaluation event-calculus event-related-potentials events event-space evidence evoked-potentials evolution evolutionary-biology evolutionary-computation evolutionary-robotics evolutionary-stability evolution-theory evolvability evolving evolving-networks exchanges