Zobrazeno 1 - 10
of 63
pro vyhledávání: '"Leibniz operator"'
Autor:
Voutsadakis, George
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2007 Mar 01. 85(2), 215-249.
Externí odkaz:
https://www.jstor.org/stable/40210768
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Herrmann, Burghard
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 1997 Mar 01. 58(2), 305-323.
Externí odkaz:
https://www.jstor.org/stable/20015905
Publikováno v:
Studia Logica. 105:703-760
This paper explores a notion of “the strong version” of a sentential logic S, initially defined in terms of the notion of a Leibniz filter, and shown to coincide with the logic determined by the matrices of S whose filter is the least S-filter in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a9a7f4bbc5b8a81bc332c5dcf70012fd
https://doi.org/10.1007/s11225-017-9709-0
https://doi.org/10.1007/s11225-017-9709-0
Publikováno v:
The Journal of Symbolic Logic. 81:417-462
This paper presents a unified framework that explains and extends the already successful applications of the Leibniz operator, the Suszko operator, and the Tarski operator in recent developments in abstract algebraic logic. To this end, we refine Cze
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c5bba1be9eb8f714abf555a0d77df8d9
https://doi.org/10.1017/jsl.2015.39
https://doi.org/10.1017/jsl.2015.39
Autor:
Tommaso Moraschini
Abstract algebraic logic is a theory that provides general tools for the algebraic study of arbitrary propositional logics. According to this theory, every logic ${\cal L}$ is associated with a matrix semantics $Mo{d^{\rm{*}}}{\cal L}$. This article
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7a48e58964bfb539a3dfbb05a25dfa05
Autor:
George Voutsadakis
Publikováno v:
Logic Journal of IGPL. 24:138-155
Font and Moraschini established a bijective correspondence between congruences of semilattices with sectionally finite height and certain special subsets of their universes, called clouds. They provided a characterization of clouds and showed that th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ae9941c237465a2a411aeadf86d03783
https://doi.org/10.1093/jigpal/jzv052
https://doi.org/10.1093/jigpal/jzv052
Autor:
George Voutsadakis
Publikováno v:
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science ISBN: 9783319747712
Very recently Albuquerque, Font and Jansana, based on preceding work of Czelakowski on compatibility operators, introduced coherent compatibility operators and used Galois connections, formed by these operators, to provide a unified framework for the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7ebbbcfe2e394c50e1588a6a4813f44e
https://doi.org/10.1007/978-3-319-74772-9_15
https://doi.org/10.1007/978-3-319-74772-9_15
Autor:
Josep Font, Tommaso Moraschini
Publikováno v:
Algebra universalis. 72:287-293
We present a bijective correspondence between congruences of semilattices with sectionally finite height (i.e., meet-semilattices whose principal downsets have finite length) and certain special subsets of their universes. We characterize these subse
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2e012784132ae4bf0506bf8703a840ab
https://doi.org/10.1007/s00012-014-0300-5
https://doi.org/10.1007/s00012-014-0300-5
Autor:
James G. Raftery
Publikováno v:
Quaestiones Mathematicae; Vol 34, No 3 (2011)
Equations are the most basic formulas of algebra, and the logical rules for manipulating them are so intuitive that they are seldom formalized. Consequently, non-algebraic deductive systems (or ‘logics’) are very often interpreted in equational l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::92f288868c278249e87a985420f6864f
https://doi.org/10.2989/16073606.2011.622856
https://doi.org/10.2989/16073606.2011.622856