Search results for "Distributive property"

showing 2 items of 12 documents

Piero Sraffa's lectures on the advanced theory of value 1928–31 and the rediscovery of the classical approach

2005

Abstract Sraffa's Lectures on the Advanced Theory of Value 1928–1931 and his two preparatory Notes of summer and November 1927 provide a wealth of material, up to now unpublished, for a reconstruction of the early stage of his inquiry into the cognate fields of pure economic theory and its history. The three manuscripts show that in the late 1920s Sraffa rejected the Marshallian constant-cost interpretation of classical economics, an interpretation to which he had adhered in his 1925 and 1926 papers. Moreover, in the Lectures, Sraffa presents for the first time his own interpretation of classical economics based on the concepts of surplus, physical real costs and asymmetric treatment of dis…

Value theoryDistributive propertyIncome distributionInterpretation (philosophy)Political Science and International RelationsEconomics Econometrics and Finance (miscellaneous)EconomicsCognatePositive economicsMarginalismMathematical economicsReview of Political Economy
researchProduct

Modal Consequence Relations Extending S4.3: An Application of Projective Unification

2016

We characterize all finitary consequence relations over $\mathbf{S4.3}$ , both syntactically, by exhibiting so-called (admissible) passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic $L$ extending $\mathbf{S4}$ has projective unification if and only if $L$ contains $\mathbf{S4.3}$ . In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relation…

projective unificationPure mathematicsUnificationLogicFinite model property02 engineering and technology68T15Lattice (discrete subgroup)01 natural sciencesadmissible rulesComputer Science::Logic in Computer Science0202 electrical engineering electronic engineering information engineeringCountable setFinitaryHeyting algebra08C150101 mathematics03B45MathematicsDiscrete mathematics010102 general mathematicsquasivarietiesModal logicstructural completenessconsequence relations03B35Distributive property06E25$\mathbf{S4.3}$S4.3020201 artificial intelligence & image processingNotre Dame Journal of Formal Logic
researchProduct