Sheaves, Games, and Model Completions : :: SCD d'Orléans

Sheaves, Games, and Model Completions : A Categorial Approach to Nonclassical Propositional Logics

Sheaves, Games, and Model Completions : A Categorial Approach to Nonclassical Propositional Logics

Enregistré dans:

Bibliografiske detaljer
Auteurs principaux:	Ghilardi, Silvio, Zawadowski, Marek, 1960- (Auteur)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Sheaves, Games, and Model Completions, A Categorial Approach to Nonclassical Propositional Logics

Lignende værker

Sheaves on manifolds
af: Kashiwara, Masaki, 1947-...., mathématicien, et autres
Udgivet: (1990)

Cohomology of Sheaves
af: Iversen, Birger, 1940-1995

Sheaves in Topology
af: Dimca, Alexandru, 19..-...., mathématicien

Categories and sheaves
af: Kashiwara, Masaki, 1947-...., mathématicien, et autres

Sheaves on manifolds
af: Kashiwara, Masaki, 1947-...., mathématicien, et autres

Sheaves in Geometry and Logic : A First Introduction to Topos Theory
af: Mac Lane, Saunders, 1909-2005, et autres

Coherent Analytic Sheaves
af: Grauert, Hans, 1930-2011, et autres

Geometry of principal sheaves
af: Vassiliou, Efstathios

Equivariant sheaves and functors
af: Bernstein, Joseph, 1945-, et autres

Applications of sheaves : proceedings of the Research symposium on applications of sheaf theory to logic, algebra, and analysis, Durham, July 9-21, 1977
Udgivet: (1979)

Applications of sheaves : proceedings of the Research symposium on applications of sheaf theory to logic, algebra, and analysis, Durham, July 9-21, 1977

Factorizable sheaves and quantum groups
af: Bezrukavnikov, Roman, 1956-...., mathématicien, et autres

Exact categories and categories of sheaves
af: Barr, Michael, 1937-, et autres

Geometry of Vector Sheaves : An Axiomatic Approach to Differential Geometry Volume II: Geometry. Examples and Applications
af: Mallios, Anastasios, 1932-

Sheaves of Algebras over Boolean Spaces
af: Knoebel, Arthur, 1934-
Udgivet: (2012)

Topology of Singular Spaces and Constructible Sheaves
af: Schürmann, Jörg

Categories of Boolean Sheaves of Simple Algebras
af: Diers, Yves, 1937-...., mathématicien

D-Modules, Perverse Sheaves, and Representation Theory
af: Hotta, Ryoshi, 1941-, et autres

Gap-sheaves and extension of coherent analytic subsheaves
af: Siu, Yum-Tong, 1943-, et autres

Algebraic Cycles, Sheaves, Shtukas, and Moduli : Impanga Lecture Notes
af: Pragacz, Piotr, 19..-...., mathématicien

Weil Conjectures, Perverse Sheaves and l adic Fourier Transform
af: Kiehl, Reinhardt, 1935-, et autres

Lectures on the applications of sheaves to ring theory : Tulane University Ring and Operator Theory Year, 1970-71, Volume III
af: Hofmann, Karl Heinrich, 1932-, et autres

Completeness Theory for Propositional Logics
af: Pogorzelski, Witold A., 1927-, et autres

Game Equilibrium Models I : Evolution and Game Dynamics
af: Selten, Reinhard, 1930-2016

Tableau Methods for Propositional Logic and Term Logic
af: Jarmużek, Tomasz
Udgivet: (2024)

Propositional and Predicate Calculus A Model of Argument
af: Goldrei, Derek
Udgivet: (2005)

Gentzen calculi for modal propositional logic
af: Poggiolesi, Francesca, 1980-

Automata, logics, and infinite games
af: Grädel, Erich, 1958-

Epistemic Game Theory and Logic
af: Paul Weirich (Ed.)
Udgivet: (2021)

Video Game Writing : From Macro to Micro
af: Suckling, Maurice, et autres
Udgivet: (2017)

Control and Game-Theoretic Models of the Environment

Stackelberg differential games in economic models
af: Bagchi, Arunabha, 1947-

Similar, but not the same: Comparing the game based approaches of Teaching Games for Understanding (TGfU) and Game Sense
af: Jarrett, Kendall, et autres
Udgivet: (2019)

Game Theory : Mathematical Models of Conflict
af: Jones, A. J.
Udgivet: (2000)

The game of rules, a multidisciplinary approach
af: Fixari, Daniel, et autres
Udgivet: (2010)

Some arguments for propositional logic: MacColl as a philosopher
af: Chevalier, J.-M. C.
Udgivet: (2011)

A complete model of CH
af: B. Godard, et autres
Udgivet: (2013)

‪Some arguments for propositional logic: MacColl as a philosopher‪
af: Chevalier, Jean-Marie
Udgivet: (2011)

Economic Reasoning from Simulation-Based Game Models
af: Wellman, Michael P.
Udgivet: (2020)

Linguistique Cognitive et modèles catégoriaux : Quelques considérations épistémologiques
af: Guignard, Jean-Baptiste
Udgivet: (2014)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales