Results 41 to 50 of about 47,777 (170)
La santé globale : biopolitique en territoires
Revue Francophone sur la Santé et les Territoires, 2018 The 1851 Paris Meeting to build cooperation for health between nations heralded the governance of international health concerning the scale of the nation-state and the organization of the interrelations between them.
Alain Vaguet
doaj +1 more source
Admissibility in Finitely Generated Quasivarieties [PDF]
, 2013 Checking the admissibility of quasiequations in a finitely generated (i.e., generated by a finite set of finite algebras) quasivariety Q amounts to checking validity in a suitable finite free algebra of the quasivariety, and is therefore decidable ...
Metcalfe, George +1 more
core +4 more sources
POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION
The Journal of Symbolic Logic, 2022 AbstractWe investigate a recently devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of polyhedra.
SAM ADAM-DAY +3 more
openaire +3 more sources
Natural Deduction for Three-Valued Regular Logics [PDF]
, 2016 In this paper, I consider a family of three-valued regular logics: the well-known strong and weak S.C. Kleene’s logics and two intermedi- ate logics, where one was discovered by M.
Petrukhin, Yaroslav
core +1 more source
Some results on intermediate constructive logics.
Notre Dame Journal of Formal Logic, 1989 Some techniques for the study of intermediate constructive logics are illustrated. In particular a general characterization is given of maximal constructive logics from which a new proof of the maximality of MV (Med- vedev's logic of finite problems ) can be obtained.
Miglioli P. +4 more
openaire +3 more sources
Canonical formulas for k-potent commutative, integral, residuated lattices
, 2016 Canonical formulas are a powerful tool for studying intuitionistic and modal logics. Actually, they provide a uniform and semantic way to axiomatise all extensions of intuitionistic logic and all modal logics above K4.
Bezhanishvili, Nick +2 more
core +1 more source
Two basic results on translations between logics
O Que Nos Faz Pensar, 2016 The aim of the present paper is to show two basic results concerning translation between logics: [1] The first result establishes that given two logics S1 and S2 with languages L1 and L2, and a translation F of L1 into L2 that interprets S1 into S2, then,
Edward Hermann Haeusler +1 more
doaj
L'Espace PolitiqueThis article explores circularity in organic matter chains. Public waste management services and urban agriculture aim to recover organic resources, each guided by distinct logics and purposes : waste valorization and soil fertilization.
Noémie Régeard
doaj +1 more source
Kripke Models and Intermediate Logics
Publications of the Research Institute for Mathematical Sciences, 1970 In [10], Kripke gave a definition of the semantics of the intuitionistic logic. Fitting [2] showed that Kripke's models are equivalent to algebraic models (i.e., pseudo-Boolean models) in a certain sense. As a corollary of this result, we can show that any partially ordered set is regarded as a (characteristic) model of a intermediate logic ^ We shall ...
openaire +2 more sources
The ubiquity of conservative translations
, 2012 We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can
da Silva +8 more
core +1 more source