Find link

language:

Find link is a tool written by Edward Betts.

searching for Algebraic semantics (computer science) 14 found (25 total)

alternate case: algebraic semantics (computer science)

Bunched logic (2,841 words) [view diff] no match in snippet view article find links to article

implicational fragment of bunched logic has been given a game semantics. The algebraic semantics of bunched logic is a special case of its categorical semantics,

Linear logic (2,890 words) [view diff] no match in snippet view article find links to article

of analytic proof) lies behind the applications of linear logic in computer science, since it allows the logic to be used in proof search and as a resource-aware

Kripke semantics (4,751 words) [view diff] no match in snippet view article find links to article

model theory of such logics was almost non-existent before Kripke (algebraic semantics existed, but were considered 'syntax in disguise'). The language

Algebraic logic (2,222 words) [view diff] no match in snippet view article find links to article

various logics (in the form of classes of algebras that constitute the algebraic semantics for these deductive systems) and connected problems like representation

General frame (2,080 words) [view diff] no match in snippet view article find links to article

frame semantics combines the main virtues of Kripke semantics and algebraic semantics: it shares the transparent geometrical insight of the former, and

Involution (mathematics) (2,206 words) [view diff] no match in snippet view article

that satisfies the law of double negation is called involutive. In algebraic semantics, such a negation is realized as an involution on the algebra of truth

T-norm fuzzy logics (3,222 words) [view diff] no match in snippet view article find links to article

[0, 1], the logics are sound and complete with respect to general algebraic semantics, formed by suitable classes of prelinear commutative bounded integral

Jon Michael Dunn (807 words) [view diff] no match in snippet view article find links to article

Professor Emeritus of Philosophy, professor emeritus of Informatics and Computer Science, was twice chair of the Philosophy Department, was Executive Associate

Abstract algebraic logic (1,017 words) [view diff] no match in snippet view article find links to article

Springer-Verlag, pp. 25–57. Font, J. M., Jansana, R., 1996. A General Algebraic Semantics for Sentential Logics. Lecture Notes in Logic 7, Springer-Verlag

Global element (389 words) [view diff] no match in snippet view article find links to article

(1989), "The category of sketches as a model for algebraic semantics", Categories in computer science and logic (Boulder, CO, 1987), Contemp. Math., vol

Rough set (8,043 words) [view diff] no match in snippet view article find links to article

In computer science, a rough set, first described by Polish computer scientist Zdzisław I. Pawlak, is a formal approximation of a crisp set (i.e., conventional

List of University of California, San Diego people (7,494 words) [view diff] no match in snippet view article find links to article

American physicist, Encyclopædia Britannica, Retrieved 2 May 2017. Algebraic Semantics of Imperative Programs, MIT Press, Retrieved 10 August 2017. Department

Semantics (15,015 words) [view diff] no match in snippet view article find links to article

Kouri Kissel 2024, Lead Section, § 4. Semantics Jansana 2022, § 5. Algebraic Semantics Jaakko & Sandu 2006, pp. 17–18 Grimm 2009, pp. 116–117 Shapiro &

Logic (16,841 words) [view diff] no match in snippet view article find links to article

ISBN 978-3-030-59965-2. Font, Josep Maria; Jansana, Ramon (2017). A General Algebraic Semantics for Sentential Logics. Cambridge University Press. p. 8. ISBN 978-1-107-16797-1