Results for 'Birkhoff'

4 found
Order:
  1. Non-deterministic algebraization of logics by swap structures1.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Logic Journal of the IGPL 28 (5):1021-1059.
    Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  2. A model-theoretic analysis of Fidel-structures for mbC.Marcelo E. Coniglio - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 189-216.
    In this paper the class of Fidel-structures for the paraconsistent logic mbC is studied from the point of view of Model Theory and Category Theory. The basic point is that Fidel-structures for mbC (or mbC-structures) can be seen as first-order structures over the signature of Boolean algebras expanded by two binary predicate symbols N (for negation) and O (for the consistency connective) satisfying certain Horn sentences. This perspective allows us to consider notions and results from Model Theory in order to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3.  34
    El Teorema de Kochen-Specker y las Semánticas no deterministas.Juan Pablo Jorge - 2019 - Buenos Aires: Departamento de Física, Universidad de Buenos Aires.
    Desde los trabajos de von Neumann y Birkhoff hasta la actualidad, el estudio de distintas estructuras algebraicas asociadas al formalismo cuántico ha dado lugar a interesantes desarrollos. A modo de ejemplo, el teorema de Kochen-Specker ha tenido una fuerte repercusión en los fundamentos e interpretación de la teoría cuántica. En este trabajo, prestaremos especial atención al abordaje lógico-algebraico iniciado por von Neumann y Birkhoff (aunque también discutiremos otros formalismos, tales como la lógica de la superposición de Tzouvaras). Se (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Bridging Conceptual Gaps: The Kolmogorov-Sinai Entropy.Massimiliano Badino - forthcoming - Isonomía. Revista de Teoría y Filosofía Del Derecho.
    The Kolmogorov-Sinai entropy is a fairly exotic mathematical concept which has recently aroused some interest on the philosophers’ part. The most salient trait of this concept is its working as a junction between such diverse ambits as statistical mechanics, information theory and algorithm theory. In this paper I argue that, in order to understand this very special feature of the Kolmogorov-Sinai entropy, is essential to reconstruct its genealogy. Somewhat surprisingly, this story takes us as far back as the beginning of (...)
    Download  
     
    Export citation  
     
    Bookmark