Results 1 to 10 of about 47,777 (170)
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
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
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
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
Applications of Intuitionistic Logic in Answer Set Programming [PDF]
, 2003 We present some applications of intermediate logics in the field of Answer Set Programming (ASP). A brief, but comprehensive introduction to the answer set semantics, intuitionistic and other intermediate logics is given.
Arrazola, Jose +2 more
core
Heap Abstractions for Static Analysis [PDF]
, 2015 Heap data is potentially unbounded and seemingly arbitrary. As a consequence, unlike stack and static memory, heap memory cannot be abstracted directly in terms of a fixed set of source variable names appearing in the program being analysed.
Kanvar, Vini, Khedker, Uday P.
core +1 more source
La gestion des déchets post-catastrophe à Port-au-Prince : entre relégation et proximité
EchoGéo, 2014 Waste-disaster production is often considerate less urgent or less important than access to health or water. However, it may be central in recovery and reconstruction process of the affected area.
Roxana Popescu +2 more
doaj +1 more source
Characterizing intermediate tense logics in terms of Galois connections
, 2014 We propose a uniform way of defining for every logic ${\sf L}$ intermediate between intuitionistic and classical logics, the corresponding intermediate minimal tense logic ${\sf LK_t}$.
Dzik, Wojciech +2 more
core +1 more source
On the mathematical synthesis of equational logics [PDF]
, 2010 We provide a mathematical theory and methodology for synthesising equational logics from algebraic metatheories. We illustrate our methodology by means of two applications: a rational reconstruction of Birkhoff's Equational Logic and a new equational ...
Chung-Kil Hur +2 more
core +3 more sources