Scis0000002s computability-logic [19 articles]

Scis0000002's tags

0-toposes 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 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 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-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-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-sets constructible-universe constructive constructive-complexity constructive-dimension constructive-economics 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 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