Pages that link to "Item:Q1188935"

The following pages link to Language in action. Categories, lambdas and dynamic logic (Q1188935):

Displaying 50 items.

• The atomic theory of left division of two-sided ideals of semirings with unit (Q376154) (← links)
• On the ternary relation and conditionality (Q452358) (← links)
• Evidence sensitivity in weak necessity deontic modals (Q484149) (← links)
• A uniform theory of conditionals (Q484196) (← links)
• Logic for languages containing referentially promiscuous expressions (Q496327) (← links)
• Functional quantification (Q704021) (← links)
• A positive information logic for inferential information (Q833030) (← links)
• The information in intuitionistic logic (Q833032) (← links)
• Symmetric categorial grammar (Q843772) (← links)
• The atomic theory of division of semiring ideals (Q950843) (← links)
• A remark on collective quantification (Q1006495) (← links)
• Algebraic structures in categorial grammar (Q1129119) (← links)
• Language in action (Q1177646) (← links)
• Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
• The conjoinability relation in Lambek calculus and linear logic (Q1334986) (← links)
• An overview of transaction logic (Q1341707) (← links)
• Reasoning about update logic (Q1344850) (← links)
• Presupposition failure - a comedy of errors (Q1346767) (← links)
• The finitely axiomatizable complete theories of non-associative arrow frames (Q1731561) (← links)
• Equivalences among polarity algorithms (Q1744006) (← links)
• Pregroup grammars with letter promotions: complexity and context-freeness (Q1757847) (← links)
• Logic of transition systems (Q1895974) (← links)
• Models for the Lambek calculus (Q1899151) (← links)
• Directions in generalized quantifier theory (Q1908858) (← links)
• Honesty in partial logic (Q1919981) (← links)
• Extending Lambek grammars to basic categorial grammars (Q1923836) (← links)
• Multimodal linguistic inference (Q1923840) (← links)
• Multi-dimensional semantics for modal logics (Q1924325) (← links)
• Logical approximation for program analysis (Q1929363) (← links)
• The atomic theory of division and intersection of semiring ideals (Q1991564) (← links)
• Language-theoretic and finite relation models for the (full) Lambek calculus (Q2398205) (← links)
• On involutive nonassociative Lambek calculus (Q2425321) (← links)
• The displacement calculus (Q2429994) (← links)
• The atomic theory of multiplication and division of semiring ideals (Q2452706) (← links)
• On fork arrow logic and its expressive power (Q2454871) (← links)
• Type logics and pregroups (Q2467212) (← links)
• Lambek calculus is NP-complete (Q2500488) (← links)
• The finite model property for BCI and related systems (Q2563452) (← links)
• Philosophy of science in the Netherlands (Q2713325) (← links)
• Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus (Q2964014) (← links)
• Many-dimensional arrow logics (Q3130047) (← links)
• Event Semantics and Abstract Categorial Grammar (Q3172835) (← links)
• Open Reading and Free Choice Permission: A Perspective in Substructural Logics (Q3305689) (← links)
• NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS (Q3389497) (← links)
• A Complete Axiomatic System for a Process-Based Spatial Logic (Q3599152) (← links)
• A ModalWalk Through Space (Q3647299) (← links)
• Amalgamation in relation algebras (Q4212916) (← links)
• A Labelled Deductive System for Relational Semantics of the Lambek Calculus (Q4238425) (← links)
• Autonomous posets and quantales (Q4304551) (← links)
• Bisimulations and predicate logic (Q4314681) (← links)