Find link

language:

Find link is a tool written by Edward Betts.

searching for Algebraic semantics (computer science) 15 found (26 total)

alternate case: algebraic semantics (computer science)

Bunched logic (2,856 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,979 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

Semantics of logic (707 words) [view diff] no match in snippet view article find links to article

non-referential in nature. Philosophy portal Algebraic semantics Formal semantics (natural language) Semantics (computer science) Jaakko Hintikka (2007), Socratic

Kripke semantics (4,818 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,224 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,086 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

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

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

Involution (mathematics) (2,240 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

Global element (675 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

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

Rough set (8,170 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,728 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 (14,282 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,460 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