Zobrazeno 1 - 10
of 58
pro vyhledávání: '"Don Pigozzi"'
Autor:
W. J. Blok, Don Pigozzi
W. J. Blok and Don Pigozzi set out to try to answer the question of what it means for a logic to have algebraic semantics. In this seminal book they transformed the study of algebraic logic by giving a general framework for the study of logics by alg
Autor:
Don Pigozzi
Publikováno v:
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science ISBN: 9783319747712
Here is the story of my forty years as a professional algebraist and logician and also as a computer science dilettante. It is divided into seven parts chronologically. Each part begins with a narrative in which I describe my relationship with mentor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c4f8d812dd689b368ff1d5b70f0f1c33
https://doi.org/10.1007/978-3-319-74772-9_1
https://doi.org/10.1007/978-3-319-74772-9_1
Publikováno v:
Studia Logica. 91:125-130
A definition and some inaccurate cross-references in the paper A Survey of Abstract Algebraic Logic, which might confuse some readers, are clarified and corrected; a short discussion of the main one is included. We also update a dozen of bibliographi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7690248d4acb1bb11c049762297d9ad2
https://doi.org/10.1007/s11225-009-9169-2
https://doi.org/10.1007/s11225-009-9169-2
Publikováno v:
Studia Logica. 83:5-14
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fdb43a33a368204fa0d32a10ae4e7ad6
https://doi.org/10.1007/s11225-006-8295-3
https://doi.org/10.1007/s11225-006-8295-3
Publikováno v:
Studia Logica. 83:215-278
In this paper we consider the structure of the class FGModS of full generalized models of a deductive system S from a universal-algebraic point of view, and the structure of the set of all the full generalized models of S on a fixed algebra A from th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c82ed5fe3766d1cd66b9d5e005a8e20a
https://doi.org/10.1007/s11225-006-8304-6
https://doi.org/10.1007/s11225-006-8304-6
Autor:
Don Pigozzi, Janusz Czelakowski
Publikováno v:
Studia Logica. 78:171-212
A deductive system $$\mathcal{S}$$ (in the sense of Tarski) is Fregean if the relation of interderivability, relative to any given theory T, i.e., the binary relation between formulas $$\{ \left\langle {\alpha ,\beta } \right\rangle :T,\alpha \vdash
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8127856b8619cb8d5b21ab5e7523afda
https://doi.org/10.1007/s11225-005-1212-3
https://doi.org/10.1007/s11225-005-1212-3
Publikováno v:
Studia Logica. 74:13-97
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4ed09ad6562d498ed007acb2146c253e
https://doi.org/10.1023/a:1024621922509
https://doi.org/10.1023/a:1024621922509
Publikováno v:
Algebra Universalis. 43:109-125
Recent studies of the algebraic properties of bilattices have provided insight into their internal strucutres, and have led to practical results, especially in reducing the computational complexity of bilattice-based multi-valued logic programs. In t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3c65696a395cdb968df5fea97994166b
https://doi.org/10.1007/s000120050149
https://doi.org/10.1007/s000120050149
Autor:
Gary T. Leavens, Don Pigozzi
Publikováno v:
Acta Informatica. 36:617-663
We present a model-theoretic study of correct behavioral subtyping for first-order, deterministic, abstract data types with immutable objects. For such types, we give a new algebraic criterion for proving correct behavioral subtyping that is both nec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1cc42d722796f8abed9c52add5202a7d
https://doi.org/10.1007/s002360050168
https://doi.org/10.1007/s002360050168
Autor:
Don Pigozzi, W. J. Blok
Publikováno v:
Algebra Universalis. 38:391-394
It is shown that a quasivariety has the extension property for all relative congruences if it has the extension property for principal relative congruences. This generalizes the analogous result for varieties, due to A. Day. The proof differs from Da
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5c0f5fcc7c01cc6ed1274005b80a8e7f
https://doi.org/10.1007/s000120050060
https://doi.org/10.1007/s000120050060