Results 21 to 30 of about 696,327 (268)

Amortised resource analysis with separation logic [PDF]

, 2010
Type-based amortised resource analysis following Hofmann and Jost—where resources are associated with individual elements of data structures and doled out to the programmer under a linear typing discipline—have been successful in providing concrete ...
Robert Atkey, Atkey, Robert
core   +1 more source

Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1 [PDF]

, 2017
In 1953, Jerzy Kalinowski published his paper on the logic of normative sentences. The paper is recognized as one of the first publications on the formal system of deontic logic.
Ciuciura, Janusz
core   +1 more source

On Argumentation Logic and Propositional Logic [PDF]

Studia Logica, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kakas, Antonis C., Mancarella, Paolo, Toni, Francesca, Kakas, Antonis C., Mancarella, Paolo, Toni, Francesca   +5 more
openaire   +4 more sources

Completeness for game logic [PDF]

, 2019
Game logic was introduced by Rohit Parikh in the 1980s as a generalisation of propositional dynamic logic (PDL) for reasoning about outcomes that players can force in determined 2-player games.
Johannes Marti, Kupke, Clemens (author), Sebastian Enqvist, Venema, Yde (author), Clemens Kupke, Yde Venema, Hansen, Helle Hvid, Enqvist, Sebastian, Enqvist, Sebastian (author), Venema, Y., Hansen, H.H., Kupke, C., Marti, J., Kupke, Clemens, Venema, Yde, Hansen, H.H. (author), Marti, Johannes (author), Marti, Johannes, Helle Hvid Hansen, Enqvist, S.   +19 more
core   +1 more source

Quantum logic as a dynamic logic [PDF]

Synthese, 2010
The authors argue that quantum mechanics does not require abandoning the principles of classical logic. Their argument is based on combining a formal semantic approach understood as an investigation of ``the logic of yes-no experiments'', following their papers [Int. J. Theor. Phys. 44, No. 12, 2267--2282 (2005; Zbl 1110.81013); Stud. Log. 89, No.
Alexandru Baltag, Sonja Smets
openaire   +4 more sources

Logic, Logics, and Logicism

Notre Dame Journal of Formal Logic, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Advances in Proof-Theoretic Semantics

, 2016
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal ...

core   +1 more source

Logicism in Logical Empiricism

, 2021
Logicism presents one of the cornerstones of logical empiricism. At the same time, the views defended by Carnap, Hahn, and Hempel, among others, differ significantly from Frege’s original thesis. The present chapter will focus on several accounts of logicism developed in logical empiricism between 1920 and 1940. The aim here is twofold.
openaire   +3 more sources

The Knowability Paradox in the light of a Logic for Pragmatics [PDF]

, 2013
The Knowability Paradox is a logical argument showing that if all truths are knowable in principle, then all truths are, in fact, known. Many strategies have been suggested in order to avoid the paradoxical conclusion.
Carrara, Massimiliano, Daniele Chiffi, Massimiliano Carrara, Chiffi, Daniele   +3 more
core   +1 more source

The (Glg)ABCs of cyanobacteria: modelling of glycogen synthesis and functional divergence of glycogen synthases in Synechocystis sp. PCC 6803

FEBS Letters, EarlyView.
We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee, Dimitrios Bekiari, Sofia Doello, Karl Forchhammer   +3 more
wiley   +1 more source