# Generalized Kripke semantics for the Lambek-Grishin calculus

@article{Chernilovskaya2012GeneralizedKS, title={Generalized Kripke semantics for the Lambek-Grishin calculus}, author={Anna Chernilovskaya and Mai Gehrke and Lorijn van Rooijen}, journal={Log. J. IGPL}, year={2012}, volume={20}, pages={1110-1132} }

properties. It turns out that this extension is precisely the algebra of Galois closed sets of the canonical frame as defined in section 2 of [Geh06]. Thus we get a simple abstract manner of working with the canonical frame. This makes it easy to treat additional operations and their interaction axioms. In particular, from A = (A,⊗, /, \,⊕,;, ) we get Aδ = (Aδ,⊗σ, / π, \ π,⊕π,; σ, σ) and Aδ is the algebra of Galois closed sets for some frame which we denote by (X,Y,6, R⊗σ , R⊕π) =: F(A). The…

## 17 Citations

### Canonical extensions and ultraproducts of polarities

- MathematicsAlgebra universalis
- 2018

Jónsson and Tarski’s notion of the perfect extension of a Boolean algebra with operators has evolved into an extensive theory of canonical extensions of lattice-based algebras. After reviewing this…

### Algorithmic correspondence and canonicity for non-distributive logics

- Mathematics, Computer ScienceAnn. Pure Appl. Log.
- 2019

### Canonical extensions and ultraproducts of polarities

- Mathematics
- 2017

Jónsson and Tarski’s notion of the perfect extension of a Boolean algebra with operators has evolved into an extensive theory of canonical extensions of lattice-based algebras. After reviewing this…

### L O ] 2 0 A ug 2 01 8 Canonical extensions and ultraproducts of polarities

- Mathematics
- 2018

Jónsson and Tarski’s notion of the perfect extension of a Boolean algebra with operators has evolved into an extensive theory of canonical extensions of latticebased algebras. After reviewing this…

### Canonical Extensions and Kripke–Galois Semantics for Non-distributive Logics

- Philosophy, Computer ScienceLogica Universalis
- 2018

An approach to the semantics of non-distributive propositional logics that is based on a lattice representation (and duality) theorem that delivers a canonical extension of the lattice.

### Definable Operators on Stable Set Lattices

- MathematicsStud Logica
- 2020

This work studies classes of structures that are closed under ultraproducts and whose stable set lattices have additional operators that are first-order definable in the underlying structure and shows that such classes generate varieties of algebras that are close under canonical extensions.

### The Distributive Full Lambek Calculus with Modal Operators

- Mathematics
- 2020

In this paper, we study logics of bounded distributive residuated lattices with modal operators considering $\Box$ and $\Diamond$ in a noncommutative setting. We introduce relational semantics for…

### A Characterization Result for Non-Distributive Logics.

- Philosophy
- 2020

Recent published work \cite{suzuki-shalqvist,conradie-palmigiano} has addressed the Shalqvist correspondence problem for non-distributive logics (the logics of normal lattice expansions). The natural…

### Duality theory and Abstract Algebraic Logic

- Computer Science, Philosophy
- 2013

This thesis proposes an abstract Spectral-like duality and an abstract Priestley-style duality for every filter distributive finitary congruential logic with theorems and develops a new technique that can be modularly applied to simplify some of the obtained dualities.

### Reconciliation of Approaches to the Semantics of Logics without Distribution

- Computer Science
- 2021

It is shown that, despite rejecting the additional frame restrictions, all the main ideas and results of the RS-frames approach relating to the semantics of non-distributive logics are captured in this simpler framework.

## References

SHOWING 1-10 OF 22 REFERENCES

### Relational semantics for a fragment of linear logic

- Philosophy
- 2012

A type of frames is described which generalize Kripke frames and provide semantics for substructural logics in a purely relational form and the strength of using canonical extensions to retrieve relational semantics is illustrated.

### Canonical extensions and completions of posets and lattices

- MathematicsReports Math. Log.
- 2008

A new way of viewing the canonical extension of posets and bounded lattices is exposed and categorical features of this completion are exposed and its relationship to other completion processes is revealed.

### Canonical Extensions and Relational Representations of Lattices with Negation

- MathematicsStud Logica
- 2009

This work studies lattices, not necessarily distributive, with negation operations, and considers equational classes of lattices equipped with a negation operation which is dually self-adjoint, which are shown to be canonical and dual relational structures given in a generalized Kripke-style.

### Kripke models for linear logic

- Computer ScienceJournal of Symbolic Logic
- 1993

Abstract We present a Kripke model for Girard's Linear Logic (without exponentials) in a conservative fashion where the logical functors beyond the basic lattice operations may be added one by one…

### Symmetric Generalized Galois Logics

- MathematicsLogica Universalis
- 2009

The weak distributivity laws between fusion and fission are generalized to interactions of certain monotone operations within distributive supergGls to prove appropriate generalizations of the previously obtained theorems—including a functorial duality result connecting classes of gGls and classes of structures for them.

### Symmetric Categorial Grammar

- PsychologyJ. Philos. Log.
- 2009

The Lambek-Grishin calculus is a symmetric version of categorial grammar obtained by augmenting the standard inventory of type-forming operations with a dual family: coproduct, left and right difference.

### Linear logic: its syntax and semantics

- Philosophy
- 1995

The first objection to that view is that there are in mathematics, in real life, cases where reaction does not exist or can be neglected : think of a lemma which is forever true, or of a Mr. Soros, who has almost an infinite amount of dollars.

### Relational Semantics for the Lambek-Grishin Calculus

- MathematicsMOL
- 2009

We study ternary relational semantics for LG: a symmetric version of the Lambek calculus with interaction principles due to Grishin [10]. We obtain completeness on the basis of a Henkin-style weak…