Results 31 to 40 of about 48,055 (261)
Revista de Estudios Latinoamericanos sobre Reducción del Riesgo de Desastres, 2019 Using Bariloche city as a case study and a conceptual perspective of resilient cities, in this article we propose an analysis of specific aspects of this international tourist destination such as its functions as an intermediate city and its economic ...
Hector Martín Civitaresi +1 more
doaj +1 more source
‘Resources to Needs’: A Paradigm for Addressing the Potentiality of the Urban Volume
Urban Planning, 2017 Underground resources are often addressed only out of necessity, leading to conflicts between uses and missing opportunities for productive synergies.
Michael Robert Doyle
doaj +1 more source
Intermediate cities in Northwest Argentina as reflection of development models
Redes, 2018 In the context of aggressive neoliberal globalization, development –in a social as well as in an economic sense – represents a challenge for Latin-American countries.
Matilde Malizia +2 more
doaj +1 more source
Multiple Conclusion Rules in Logics with the Disjunction Property
, 2015 We prove that for the intermediate logics with the disjunction property any basis of admissible rules can be reduced to a basis of admissible m-rules (multiple-conclusion rules), and every basis of admissible m-rules can be reduced to a basis of ...
A Chagrov +31 more
core +1 more source
First-order modal logic in the necessary framework of objects [PDF]
, 2016 I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which ...
Fritz, Peter
core +1 more source
A Proof-Theoretic Interpolation Theorem for Inquisitive Propositional Logic
Bulletin of the Section of LogicThis paper presents a sequent calculus for Inquisitive Propositional Logic obtained by expanding the sequent calculus g3ip for intuitionistic propositional logic with suitable rules for double negation elimination for atoms and the Split Property.
Andreas Fjellstad
doaj +1 more source
Preservation of admissible rules when combining logics
, 2016 Admissible rules are shown to be conservatively preserved by the meet-combination of a wide class of logics. A basis is obtained for the resulting logic from bases given for the component logics.
Rasga, Joao +2 more
core +1 more source
Reflexive insensitive modal logics [PDF]
, 2015 We analyze a class of modal logics rendered insensitive to reflexivity by way of a modification to the semantic definition of the modal operator. We explore the extent to which these logics can be characterized, and prove a general completeness theorem ...
Gilbert, David, Venturi, Giorgio
core +2 more sources
Intermediate Logics and the de Jongh property [PDF]
Archive for Mathematical Logic, 2010 Dick de Jongh proved in an unpublished paper that the propositional logic of Heyting's arithmetic, \textbf{HA}, is precisely \textbf{IPC}, that means that, for any proposition \(A(p_1,\dots, p_n)\), \(\mathbf{IPC}\vdash A(p_1,\dots, p_n)\) if and and only if \(\mathbf{HA}\vdash A(B_1,\dots, B_n)\), for all arithmetical sentences \(B_1,\dots, B_n ...
de Jongh, D., Verbrugge, R., Visser, A.
openaire +7 more sources
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 +3 more
wiley +1 more source