Note on algebraic models for relevance logic

Sound and complete semantics for classical propositional logic can be obtained by interpreting sentences as sets. Replacing sets with commuting dense binary relations produces an interpretation that turns out to be sound but not complete for R. Adding transitivity yields sound and complete semantics for RM, because all normal Sugihara matrices are representable as algebras of binary relations.

Download Full-text

Geometrically rational real conic bundles and very transitive actions

Compositio Mathematica ◽

10.1112/s0010437x10004835 ◽

2010 ◽

Vol 147 (1) ◽

pp. 161-187 ◽

Cited By ~ 6

Author(s):

Jérémy Blanc ◽

Frédéric Mangolte

Keyword(s):

Automorphism Groups ◽

Algebraic Surfaces ◽

Algebraic Models ◽

Transitive Automorphism ◽

Real Locus ◽

Real Algebraic Surfaces ◽

Conic Bundles ◽

Transitive Actions ◽

Insight Into

AbstractIn this article we study the transitivity of the group of automorphisms of real algebraic surfaces. We characterize real algebraic surfaces with very transitive automorphism groups. We give applications to the classification of real algebraic models of compact surfaces: these applications yield new insight into the geometry of the real locus, proving several surprising facts on this geometry. This geometry can be thought of as a half-way point between the biregular and birational geometries.

Download Full-text

Algebraic Models of Hadron Structure

Annals of Physics ◽

10.1006/aphy.2000.6064 ◽

2000 ◽

Vol 284 (1) ◽

pp. 89-133 ◽

Cited By ~ 100

Author(s):

R. Bijker ◽

F. Iachello ◽

A. Leviatan

Keyword(s):

Hadron Structure ◽

Algebraic Models

Download Full-text

Algebraic cycles and algebraic models of smooth manifolds

Journal of Algebraic Geometry ◽

10.1090/s1056-3911-01-00292-2 ◽

2002 ◽

Vol 11 (1) ◽

pp. 101-127 ◽

Cited By ~ 4

Author(s):

W. Kucharz

Keyword(s):

Algebraic Cycles ◽

Smooth Manifolds ◽

Algebraic Models

Download Full-text

POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS

The Review of Symbolic Logic ◽

10.1017/s1755020310000249 ◽

2010 ◽

Vol 4 (1) ◽

pp. 81-105 ◽

Cited By ~ 4

Author(s):

ROBIN HIRSCH ◽

SZABOLCS MIKULÁS

Keyword(s):

Equational Theory ◽

Relevance Logic ◽

Binary Relations ◽

Finitely Based ◽

Similarity Type ◽

Relation Composition

We prove that algebras of binary relations whose similarity type includes intersection, union, and one of the residuals of relation composition form a nonfinitely axiomatizable quasivariety and that the equational theory is not finitely based. We apply this result to the problem of the completeness of the positive fragment of relevance logic with respect to binary relations.

Download Full-text

Effects of Turbulent Reynolds Number on the Performance of Algebraic Flame Surface Density Models for Large Eddy Simulation in the Thin Reaction Zones Regime: A Direct Numerical Simulation Analysis

Journal of Combustion ◽

10.1155/2012/353257 ◽

2012 ◽

Vol 2012 ◽

pp. 1-13 ◽

Cited By ~ 6

Author(s):

Mohit Katragadda ◽

Nilanjan Chakraborty ◽

R. S. Cant

Keyword(s):

Numerical Simulation ◽

Reynolds Number ◽

Fractal Dimension ◽

Direct Numerical Simulation ◽

Surface Density ◽

Flame Surface ◽

Algebraic Models ◽

Flame Surface Density ◽

Turbulent Reynolds Number ◽

Reaction Zones

A direct numerical simulation (DNS) database of freely propagating statistically planar turbulent premixed flames with a range of different turbulent Reynolds numbers has been used to assess the performance of algebraic flame surface density (FSD) models based on a fractal representation of the flame wrinkling factor. The turbulent Reynolds number Rethas been varied by modifying the Karlovitz number Ka and the Damköhler number Da independently of each other in such a way that the flames remain within the thin reaction zones regime. It has been found that the turbulent Reynolds number and the Karlovitz number both have a significant influence on the fractal dimension, which is found to increase with increasing Retand Ka before reaching an asymptotic value for large values of Retand Ka. A parameterisation of the fractal dimension is presented in which the effects of the Reynolds and the Karlovitz numbers are explicitly taken into account. By contrast, the inner cut-off scale normalised by the Zel’dovich flame thicknessηi/δzdoes not exhibit any significant dependence on Retfor the cases considered here. The performance of several algebraic FSD models has been assessed based on various criteria. Most of the algebraic models show a deterioration in performance with increasing the LES filter width.

Download Full-text