Abstract Sahlqvist theory is extended to the fragments of intuitionistic propositional calculus that include conjunction connective. This allows us introduce a character amenable arbitrary protoalgebraic deductive systems. As an application, we obtain theorem for implication connective and extensions linear logic.

Although Dubois and Prade’s fuzzy elements and gradual sets cannot be represented as objects or fuzzy predicates in first-order versions of known systems of propositional fuzzy logic, they can be represented in higher-order fuzzy logic. However, this logical representation does not simplify handling these notions, compared to informal semantic methods of traditional fuzzy mathematics. Finding a...

Histological relationships and the distribution of junctions between myocardial cells and connective tissue were investigated in the inter-ventricular septum. Pig hearts were studied using 2 techniques: Picro-Sirius red-collagen-staining of frozen sections for connective tissue septa, and immune-staining with antibodies against Desmoplakins for intercalated discs. By overlaying serial sections ...

We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O’Hearn and Pym’s logic of bunched implications BI. CBI differs from existing bunched logics in that its multiplicative connectives behave classically rather than intuitionistically (including in particular a multiplicative version of classical negation). At the semantic level, CBI-formulas have th...