A sound and complete logic for algebraic effects

A sound and complete logic for algebraic effects

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Staton, S, Matache, C
বিন্যাস:	Conference item
প্রকাশিত:	Springer 2019

অনুরূপ উপাদানগুলি

Scoped effects as parameterized algebraic theories
অনুযায়ী: Lindley, S, অন্যান্য
প্রকাশিত: (2024)

On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results
অনুযায়ী: Tarek Sayed Ahmed
প্রকাশিত: (2021-12-01)

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
অনুযায়ী: Ma, M, অন্যান্য
প্রকাশিত: (2011)

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.
অনুযায়ী: Sadrzadeh, M, অন্যান্য
প্রকাশিত: (2011)

Further Complete Solutions to Four Open Problems on Filter of Logical Algebras
অনুযায়ী: Wei Wang, অন্যান্য
প্রকাশিত: (2019-02-01)

Algebraic logic /
অনুযায়ী: 366609 Gindikin, S. G.
প্রকাশিত: (1985)

Algebra and logic
প্রকাশিত: (1968)

Algebraic logic /
অনুযায়ী: Halmos, Paul R., (Paul Richard), 1916-
প্রকাশিত: (1962)

Logic as algebra /
অনুযায়ী: 181502 Halmos, Paul, অন্যান্য
প্রকাশিত: (1998)

Algebra of Logic Programming
অনুযায়ী: Seres, S, অন্যান্য
প্রকাশিত: (1999)

Algebra of Logic Programming
অনুযায়ী: Seres, S, অন্যান্য
প্রকাশিত: (1999)

Effect algebras, presheaves, contextuality and non-locality
অনুযায়ী: Staton, S, অন্যান্য
প্রকাশিত: (2018)

Effect algebras, presheaves, non-locality and contextuality
অনুযায়ী: Staton, S, অন্যান্য
প্রকাশিত: (2015)

Recursion and sequentiality in categories of sheaves
অনুযায়ী: Matache, C, অন্যান্য
প্রকাশিত: (2021)

Concrete categories and higher-order recursion
অনুযায়ী: Matache, C, অন্যান্য
প্রকাশিত: (2022)

Studies in algebraic logic /
অনুযায়ী: Daigneault, Aubert
প্রকাশিত: (1974)

Algebra and logic : papers /
অনুযায়ী: Summer Research Institute of the Australia Mathematical Society (14th : 1974 : University, Victoria)
প্রকাশিত: (1975)

Algebraic and logic programming /
অনুযায়ী: Grabowski, J., অন্যান্য
প্রকাশিত: (1988)

Logic and boolean algebra /
অনুযায়ী: 398742 Levitz, Kathleen, অন্যান্য
প্রকাশিত: (1979)

Bohrification of operator algebras and quantum logic
অনুযায়ী: Landsman, C, অন্যান্য
প্রকাশিত: (2012)

An algebraic introduction to mathematical logic /
অনুযায়ী: 390016 Barnes, Donald W., অন্যান্য
প্রকাশিত: (1975)

Toposes, algebraic geometry and logic /
অনুযায়ী: Bucur, Ionel, 1930-1976
প্রকাশিত: (1972)

Algebraic methods of mathematical logic /
অনুযায়ী: 404014 Reiger, Ladislav
প্রকাশিত: (1967)

Logic I : Boolean algebra
অনুযায়ী: Open University. Mathematics Foundation Course Team
প্রকাশিত: (1971)

Boolean algebra for computer logic /
অনুযায়ী: Ennes, Harold E., 1911-
প্রকাশিত: (1978)

Fuzzy Logical Algebras and Their Applications
অনুযায়ী: Jianming Zhan, অন্যান্য
প্রকাশিত: (2015-01-01)

Approach to positional logic algebra
অনুযায়ী: Mykola Kovalov
প্রকাশিত: (2023-03-01)

Logical Divergence, Logical Entropy, and Logical Mutual Information in Product MV-Algebras
অনুযায়ী: Dagmar Markechová, অন্যান্য
প্রকাশিত: (2018-02-01)

Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
অনুযায়ী: Rennela, M, অন্যান্য
প্রকাশিত: (2017)

The Beta-Bernoulli process and algebraic effects
অনুযায়ী: Staton, S, অন্যান্য
প্রকাশিত: (2018)

Categorical Abstract Algebraic Logic: Meet-Combination of Logical Systems
অনুযায়ী: George Voutsadakis
প্রকাশিত: (2013-01-01)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
অনুযায়ী: Cirstea, C, অন্যান্য
প্রকাশিত: (2006)

On Process−algebraic Extensions of Metric Temporal Logic
অনুযায়ী: Haase, C, অন্যান্য
প্রকাশিত: (2010)

Finite algebra and multiple-valued logic /
অনুযায়ী: Csakany, B., অন্যান্য
প্রকাশিত: (1981)

An algebraic approach to non-classical logics /
অনুযায়ী: 384000 Rasiowa, Helena
প্রকাশিত: (1974)

Development of Metamodels as Logical and Algebraic Systems
অনুযায়ী: Mezhuyev, Vitaliy
প্রকাশিত: (2014)

Algebraic and logical descriptions of generalized trees
অনুযায়ী: Bruno Courcelle
প্রকাশিত: (2017-07-01)

Logical and Algebraic Characterizations of Rational Transductions
অনুযায়ী: Emmanuel Filiot, অন্যান্য
প্রকাশিত: (2019-12-01)

Algebraic axiomatization of tense intuitionistic logic
অনুযায়ী: Chajda Ivan
প্রকাশিত: (2011-10-01)

Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
অনুযায়ী: Mathys Rennela, অন্যান্য
প্রকাশিত: (2017-01-01)