Abstract When thinking about how human behaviour is regulated, one generally imagines a regulation consisting of norms linguistically expressed in sentences: that is, “sentential deontic regulation”. However, this notion reductive because there are (non‐deontic and) non‐sentential forms regulation. In article, we do not restrict our investigation to regulation; examine whether (non‐deontic) eve...

The optimization of computing systems that incorporate Boolean-circuit-based computing equipment must be expressed at some level in Boolean behaviors and operations. Boolean behaviors and operations are part of a larger family of logics -the logic of sentences, also known as the "sentential calculus". Two logics are implicationally equivalent if the axioms and inference rules of each imply the ...

The Korean double nominative construction exhibits various properties distinguished not only from ordinary subject-object clauses but also from nominative complement constructions. Particularly, the second NP, not the initial NP, triggers the honorific agreement with the verb. I argue that the first NP of the construction is identified as a sentential specifier which exists in addition to the s...

this study explores the nature of relatively free word order of verbs and their arguments in persian. based on the theory of phases and multiple spell-out which is an instantiation of minimalist program, we attempt to account for the restrictions on these word order variations. having a direct interaction with the syntax-phonology interface rather than a purely syntactic one, these restrictions...

An important part of the theory of algebraizable sentential logics consists of studying the algebraic semantics of these logics. As developed by Czelakowski, Blok, and Pigozzi and Font and Jansana, among others, it includes studying the properties of logical matrices serving as models of deductive systems and the properties of abstract logics serving as models of sentential logics. The present ...

The sentential logic SCI is obtained from the classical sentential calculus by adding a new identity connective ≡ (different from ↔) and axioms which say ”α ≡ β” means ”α is identical to β” . From the axioms for ≡ it follows that the range of sentences has at least two elements. No other special presupposition about the meaning of ’is identical to’ nor the range of sentences are assumed. Any ad...

Protoalgebraic logics are characterized by the monotonicity of the Leibniz operator on their theory lattices and are at the lower end of the Leibniz hierarchy of abstract algebraic logic. They have been shown to be the most primitive among those logics with a strong enough algebraic character to be amenable to algebraic study techniques. Protoalgebraic π -institutions were introduced recently a...