Opis na podstawie okładki.
Bibliografia przy niektórych streszczeniach.
Simulations of quantum resources and the degrees of contextuality Samson Abramsky, Rui Soares Barbosa, Martti Karvonen and Shane Mansfield Generalized continuous closure spaces: a topological approach to domain theory Marcel Erné Possibility Semantics Wesley Holliday Non-finitely axiomatisable canonical varieties o f BAOs with infinite canonical axiomatisations Agi Kurucz The poset o f all logics Tommaso Momschini Some Applications o f Stone Duality to Automata Theory Daniela Petrisan Snapshots o f duality theory, from 2019 and fifty years earlier H. A. Priestley Modal Logics o f Dependence Johan van Benthem Logic, Automata, and Model Companions. Samuel J. van Gool Anabelian geometry in model theory setting Boris Zilber Contributed talks Norm complete abelian Agroups: topological duality Marco Abbadini, Vincenzo Marra and Luca Spada Norm complete Abelian Ggroups: equational axiomatization Marco Abbadini, Vincenzo Marra and Luca Spada Polyhedral Completeness of Intermediate and Modal Logics Sam Adam-Day, Nick Bezhanishvili, David Gabelaia and Vincenzo Marra Product of neighborhood frames with additional common modality Rajab Aghamov and Audrey Kudinov Predicative Implications: A Topological Approach Amirhossein Akbar Tabatabai Ranges o f functors and elementary classes via topos theory Peter Arndt When is the frame of nuclei spatial : A new approach F ra n cis co Avila, Guram Bezhanishvili, P a tr ick Morandi and A n g e l Zaldivar Analys is o f the E } -Fragme t of First Order Gödel Logice x ten ded w ith Propositional Matthias Baaz and Norbert Preining Enriched Lawvere Theories fo r Operational Semantics John Baez and Christian Williams Enrched distrb u t iv ity over finite com m u ta t iv e res iduated la t t ic e s Adriana Balan, Peter Jip sen and A lexander Kurz Proofs and surfaces Dord e Baralic, Pierre -Louis Curien, Marin a Milicevic , Jovana Obradovic, Zoran Petrie , Mladen Zekic and Rade Zivaljevic A new logic arising from a s cattered Stone space Guram, Bezhanishvili, Nick Bezhanishvili, Joel L u c e r o -Bryan and Jan van Mill A generalization o f Gelfan d -Na imark -S tone dulity to completely regular spaces Guram Bezhanishvili, Patrick Morandi and Bruce Olberding T h e van Benthem character isation the o rem for descript iv e m od e ls Nick Bezhanishvili and Tim Henke Nearness P o s e t s Tristan Bice Toward s com p le ten e s s o f logics o f in formation and common belief Marta Bilkova Counting finite in vo lut iv e bisemi la ttices Stefano Bonzio , Michele Pra Baldi and Diego Valota Difference hierarchies over lattices Celia Borlido Time -reversa l homo to p ica l properties o f concurrent systems Cameron Calk. Eric Goubault and Philippe Malbos A temporal interpretation of intu ition is t ic q u a n t i f ie r s Luca Carai and Guram Bezhanishvili Semantic analysis and proof theory for monotone modal logic - Jinsheng Chen, G iusepp e Greco, Alessandra Palmigian o and Apostolo s Tzimoulis Comple ten e s s p r op e r t ie s in a bs trac t a lgebraic l o g i c P e t r Cintula and Ca rles Noguera Orders on Group s : an Approach through Spectral Spaces Almudena Colacito Thelogic o f categories a n d informat ion a l e n t r o p y Willem Conradie, And rew Craig, Alessandra P almigiano and N a ch o em Wijnberg Goldblatt-Thomason for LE -logics Willem Conradie, Alessandra Palmigiano and Apostolos Tzimoulis Intuitionistic and classical non-normal modal logics: An embedding Tiziano Dalmonie, Charles Grellois and Nicola Olivetti Lifting functors from Pos to P r ie s Jim de Groot A Sahlqvist theorem for subordination algebras Laurent De Rudder and Georges Hansoul Extensions o f the Stone Duality to the category o f zero-dimensional Hausdorff spaces Georgi Dimov and Elza Ivanova-Dimova Semi-reflective Extensions of Dualities and a New Approach to the Fedorchuk Duality - Georgi Dimov, Elza Ivanova-Dimova and Walter Tholen Extensions of dualities and a new approach to de Vries’ Du ality T h e o rem Georgi Dimov, Elza Ivanova-Dimova and Walter Tholen Resource Reasoning in Duality-theoretic Form: Stone-type Dualities for Bunched and Separation Log ics Simon Docherty and David Pym Amalgamating poset e x ten s ion s Rob Egrot Artin glueings as semidirect products P e te r Faul and Graham Manuell Generic Models for Topological Evidence Logics Saul Fernandez Gonzalez, Alexandra Baltag and Nick Bezhanishvili On non-distributive lattices with in volution Wesley Fussner Characterization of flat polygonal logics David Gabelaia, Levan Uridia, Mamuka Jibladze and Evgeny Kuznetsov Undecidabilty methods for residuated lattices Nikolaos Galatos and Gavin St. John A Glivenko theorem for lattice-ordered groups José Gil-Férez, Frederik Lauridsen and George Metcalfe Nonclassical first order logics: semantics and proof theory Giuseppe Greco, P e te r Jipsen, Alexander Kurz, M. Andrew Moshier, Alessandra Palmigiano and Apostolos Tzimoulis Algebraic proof theory for LE -lo g ic s Giuseppe Greco, Peter Jipsen, Fei Liang, Alessandra Palmigiano and Apostolos Tzimoulis Proof theory and semantics for structural control Giuseppe Greco, Apostolos Tzimoulis and Michael Moortgat On the variety o f G o e d e l -M V -a lg e b r a s Reva z Grigolia, A n ton io D i Nola and G a e tan o Vitale Some theorems concern in g Grze g o r c zy k con ta c t la t t i c e s Rafal Gruszczynshi and A n d r z e j Pietruszczak C om p u t in g the validity degree in Lukasiewicz l o g i c Zuzana Hanikova Remarks on the T o p o s A p p r o a ch t o Q u an tum M e c h a n ic s i John Harding and Chris H eu n en l H yp e r -M a cN e il le c om p le t ion s o f H ey t in g algebras John Harding and Frederik Lauridsen Comprehens ion bicategories and fibration s o f t o p o s e s Sina Ha zra tpou r and S tev e Vickers Twist products arising from res iduated b imodules Adam Pfenosil and Constantin e Tsinakis Relation al semantics for extended contact algebras Tatyana Ivanova Col im its o f effect algebras v ia a r e f le c t i o n Gejza Jenca Partially ordered varieties of in volutive residuated posets P e t e r Jipsen On the structure of finite (c om m u ta t iv e ) idem potentin volutive res iduated la t t ic e s P e t e r Jipsen, Olim Tuyt and D ieg o Valota From M V -semir in gs t o Inv o lut ive sem ir in gs P e t e r Jip sen and Sara Vannucci P resent ing d e G r o o t du a l ity o f s ta b ly com p a c t spaces b y entailment r e la t io n s Tatsuji Kawai P r o je c t iv e un i f icat ion in N E x t (K 4 ) Slawomir Kost From intuition ism t o B r ouw e r ’s m od a l logic Zofia Kostrzycka Ston edualities between éta le categories and restriction semigroups Ganna Kudryavtseva T h e spectrum o f a lo c a l ic s em i r in g Graham Manuell | A to p o s fo r piecewise-l inea r geometry, and its l o g i c Vincenzo Marra and Matias Menni Frege’s Ba sic Law V v ia Par t ia l O r d e r s Giovanni Marco Martino B-frame Representations for Complete Lattices Guillaume Massas Free Kleene algebras with domain Brett McLean Singly generated quasivarieties and residuated structures Tommaso Moraschini, James Raftery and Jamie Wannenburg Epimorphisms in Varieties o f Hey ting Algebras Tommaso Moraschini and Jamie Wannenburg Exact and Fitter Sub locales Michael Andrew Moshier, Rick Ball and Ales Pultr The undecidability of profiniteness Anvar Nurakunov and Michal Stronkowski Overview and perspectives of the general construction of spectra Axel Osmond Completion o f pseudo-orthomodular posets Jan Paseka Axiom T o and the relation between sublocales and subspaces o f a space Jorge Picado and Ales Pultr Topological representations of congruence lattices Miroslav Ploscica Axiomatising categories o f spaces: the case of compact Hausdorff spaces Luca Reggio Duality for two-sorted lattices Umberto Rivieccio and Achim Jung Quantale semantics for Lambek calculus with subexponentials Daniel Rogozin Derivations on bounded pocrims and MV-algebras with product Dana Salounova, Jan Kuhr and Jiri Rachunek Decidability of the equational theory of the natural join and inner union Luigi Santocanale Mix *-autonomous quantales and the continuous weak order Luigi Santocanale and Maria Jodo Gouveia Partial frames Anneliese Schauerte and John Frith Two Approaches to Substructural Modal Logic Igor Sedlar On global algebraic completeness o f the Godel-Lob provability logic Daniyar Shamkanov Glivenko’s theorem, finite height, and local finiteness Ilya Shapirovsky Simplicial semantics and one-variable fragments of modal predicate logics Valentin Shekhtman Order-enriched solid functors Lurdes Sousa and W alter Tholen Divisibility and diagonals Isar Stubbe The coproduct of frames as encoding d-frame structure A nn a Laura Suarez and A ch im Jung Gluing residuated lattices Sara Ugolini and N ikolaos Galatos Point-free theories of space and time: a sort history, models and representation theory D im ite r Vakarelov Axiomatizing the crisp Godel modal logic Amanda Vidal W andelmer and Ricardo O sca r Rodriguez Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics K en ta r o Yamamoto The Bohr compactification of an abelian group as a quotient of its Stone-Cech compactification P a v o l Zlatos Pierce stalks in preprimal varieties William Ja vier Zuluaga Botero and Diego Vaggione
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
