Get started
Keyword

algebraic semantics

Description: A formal approach to defining the meaning of programming languages or systems using algebraic structures and operations.
Wikidata ID: wiki/Q4724013
OpenAlex ID: keywords/algebraic-semantics
The Theory and Practice of Concurrency
1997 · A. W. Roscoe · International Linear Collider · 1,709
Algebraic Foundations of Many-Valued Reasoning
2000 · Roberto L. O. Cignoli, Itala M. L. D’Ottaviano, et al. · Trends in logic · 1,362
Conditional rewriting logic as a unified model of concurrency
1992 · José Meseguer · Theoretical Computer Science · 1,336
PDF
An Algebraic Approach to Non-Classical Logics
1974 · Studies in logic and the foundations of mathematics · 811
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
2007 · Studies in logic and the foundations of mathematics · 806
Initial Algebra Semantics and Continuous Algebras
1977 · J. A. Goguen, J. W. Thatcher, et al. · Journal of the ACM · 801
PDF
A treatise on many-valued logics
2001 · Siegfried Gottwald · 659
Modal Logic
1997 · Alexander Chagrov, Michael Zakharyaschev · 614
Unifying Theories of Programming
1998 · Tony Hoare · 528
Weak islands and an algebraic semantics for scope taking
1993 · Anna Szabolcsi, Frans Zwarts · Natural Language Semantics · 487
An algebra related with a propositional calculus
1966 · Kiyoshi Iséki · Proceedings of the Japan Academy Series A Mathematical Sciences · 459
Real time process algebra
1991 · J. C. M. Baeten, J. A. Bergstra · Formal Aspects of Computing · 382
Petri nets are monoids
1990 · José Meseguer, Ugo Montanari · Information and Computation · 357
Abstract syntax and variable binding
2003 · M. Fiore, G. Plotkin, et al. · 353
Algebraic semantics in language and philosophy
1997 · Godehard Link · 339
Completeness and Correspondence in the First and Second Order Semantics for Modal Logic
1975 · Henrik Sahlqvist · Studies in logic and the foundations of mathematics · 327
Varieties of complex algebras
1989 · Robert Goldblatt · Annals of Pure and Applied Logic · 288
PDF
Lectures on linear logic
1992 · A. S. Troelstra · Medical Entomology and Zoology · 271
Protoalgebraic Logics
2001 · Janusz Czelakowski · Trends in logic · 254
A Survey of Abstract Algebraic Logic
2003 · J. M. Font, R. Jansana, et al. · Studia Logica · 253
Results on the propositional μ-calculus
1982 · Dexter Kozen · Lecture notes in computer science · 252
A Proof of Standard Completeness for Esteva and Godo's Logic MTL
2002 · Sándor Jenei, Franco Montagna · Studia Logica · 234
Algebraic Approaches to Program Semantics
1986 · Ernest G. Manes, Michael A. Arbib · Springer eBooks · 228
Admissibility of Logical Inference Rules
1997 · Studies in logic and the foundations of mathematics · 217
Algebraic semantics
1981 · Irène Guessarian · Lecture notes in computer science · 213
Works count: 3,444
Citation count: 41,360
Year
Topic
Type