scholarly journals The complexity of equivalence, entailment, and minimization in existential positive logic

2015 ◽  
Vol 81 (2) ◽  
pp. 443-457
Author(s):  
Simone Bova ◽  
Hubie Chen
Keyword(s):  
Positive Logic

HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS

2019 ◽  
Vol 13 (3) ◽  
pp. 483-502 ◽  
Author(s):  
ALEX CITKIN
Keyword(s):  
Intermediate Logics ◽  
Positive Logic ◽  
Image Position

AbstractPositive logics are $\{ \wedge , \vee , \to \}$-fragments of intermediate logics. It is clear that the positive fragment of $Int$ is not structurally complete. We give a description of all hereditarily structurally complete positive logics, while the question whether there is a structurally complete positive logic which is not hereditarily structurally complete, remains open.

The Grammar of Capital

2018 ◽  
pp. 230-240
Author(s):  
John Holloway
Keyword(s):  
Use Value ◽  
Positive Logic ◽  
Abstract Labor ◽  
Commodity Form

Karl Marx’s Capital does not start with the commodity, it starts with wealth. This has enormous consequences, both theoretically and politically. To start with the commodity leads into the analysis of capitalism as a system of domination. To start with wealth and its movement in-against-and-beyond the commodity form takes the reader into a world of struggle. In Capital there are two antagonistic categorial series. The familiar series of the forms of domination: commodity, value, abstract labor, money, person, capital, profit, interest, rent. These forms have their own grammar: a positive logic that imposes itself on the flow of life. But there is also a series of subversive categories rebelling against the logical chain of derivation: wealth, use value, concrete labor or doing, anti-person, and so on. Here is a negative, defetishizing, detotalizing grammar that moves against the rigid cohesion of the first series.

Positive logic and λ-constants

Studia Logica ◽  
1978 ◽  
Vol 37 (3) ◽  
pp. 269-285 ◽  
Author(s):  
David Meredith
Keyword(s):  
Positive Logic

Assertive Logic, A Logical Approach or to be High is to be Not Low

1992 ◽  
Vol 29 (3) ◽  
pp. 224-234
Author(s):  
Joseph J. Taschetta
Keyword(s):  
Logical Approach ◽  
Positive Logic

Assertive logic, a logical approach Assertive logic can become a most useful tool by simplifying complex logic circuitry. In assertive logic, all combinational circuitry can be viewed as an AND, OR, or NOT operation and is invaluable when mixing systems of negative and positive logic. This approach has been proven to be a good foundation to understanding logic fundamentals.

A consistent prepositional logic without any finite models

1985 ◽  
Vol 50 (1) ◽  
pp. 38-41 ◽  
Author(s):  
C. G. McKay
Keyword(s):  
Propositional Logic ◽  
Classical System ◽  
Finite Model ◽  
Model Property ◽  
Finite Model Property ◽  
Finite Models ◽  
Positive Logic ◽  
Usual Manner ◽  
Constructive Criticism ◽  
Infinite Set

Some propositional logics (e.g. the classical system) can be characterized by a finite model, while others (e.g. Heyting's) which have the finite model property (FMP) can be characterized by an infinite set of finite models. Still others (e.g. certain extensions of Heyting's logic) which lack the FMP can only be characterized by a set of models, at least one of which is infinite. Yet all these logics admit finite models even though they may not be characterized by them. (For example, they all admit the 2-element Boolean algebra as a model in the sense that all their theorems are valid on that algebra when the propositional connectives are interpreted in the usual manner.) The object of the present paper is to give a (not too artificial) example of a propositional logic which is consistent and which admits only infinite models. It therefore lacks the FMP in a very strong sense. Such a propositional logic, I shall call hyperinfinite. The existence of hyperinfinite logics was already plausible from a result in abstract algebra which says that there are varieties of algebras of which the only finite element is the trivial algebra (see [3]).I wish to thank Professor A. S. Troelstra, Amsterdam, for comments on an early version of this paper. The constructive criticism of two anonymous referees has also been useful.The hyperinfinite propositional logic to be described is obtained from Positive Logic—the negative-free part of Heyting's logic—by adjoining certain axioms which govern the use of a unary modal connective.

From ‘Goods’ to ‘Bads’? Revisiting the Political Economy of Risk

2005 ◽  
Vol 10 (3) ◽  
pp. 191-203 ◽  
Author(s):  
Gabe Mythen
Keyword(s):  
Social Reproduction ◽  
Narrow Range ◽  
Risk Society ◽  
Nuclear Accidents ◽  
Political Discourses ◽  
Social Theorist ◽  
Positive Logic ◽  
Industrial Modernity ◽  
Social Distribution ◽  
Society Perspective

German social theorist Ulrich Beck has consistently maintained that the logic of social distribution in western cultures has been reconfigured over the last three decades. Beck believes that, in the first industrial modernity, political and economic energies were directed toward the dissemination of ‘social goods’, such as healthcare, employment and wealth. By contrast, in the second modernity - or risk society - the positive logic of goods distribution is displaced by a negative logic of ‘social bads’, exemplified by environmental despoliation, terrorism and nuclear accidents. Critically, whilst the logic of goods is sectoral - some win and some lose, some are protected, some exposed - social bads follow a universalising logic which threatens rich and poor alike. This article interrogates and challenges these core claims by fusing together and developing empirical and theoretical criticisms of the theory of distributional logic. Empirically, it is demonstrated that Beck draws upon a narrow range of examples, is insensitive to continuities in social reproduction and glosses over the intensification of traditional inequalities. Theoretically, the paper asserts that the risk society perspective constructs an unsustainable divide between interconnected modes of distribution, neglects the way in which political discourses can be used to reinforce hegemonic interests and overlooks uneven patterns of risk distribution.

scholarly journals Synthesis of positive logic programs for checking a class of definitions with infinite quantification

2016 ◽  
Vol 249 ◽  
pp. 205-236
Author(s):  
Francisco J. Galán ◽  
José M. Cañete-Valdeón
Keyword(s):  
Logic Programs ◽  
Positive Logic
Sign in / Sign up

Export Citation Format

Share Document