Specifying syntactic structures (original) (raw)
Related papers
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1985
Analyzing the Core of Categorial Grammar
Communication, and concurrency with logic-based restriction inside a calculus of structures
2012
Categorial deductions and structural operations
Grammar logicised: relativisation
Linguistics and Philosophy
Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics
Journal of Symbolic Logic, 1986
The Reduction of Logic to Structures
The Logic of Categorial Grammars Lecture Notes
2012
C T ] 1 0 M ay 2 01 4 Representation theory of logics : a categorial approach
2018
On the axiomatic systems of syntactically-categorial languages
1984
Towards a Relational Treating of Language and Logical Systems
2020
Logic Journal of IGPL, 1995
Logical Formalizations of Syntactical Properties (Extended Abstract)
1997
Mathematical Structures in Computer Science, 2002
Representation theory of logics: a categorial approach
On Formalizing Logical Modalities
2021
Logical consequence in modal logic. II. Some semantic systems for rmS4{\rm S}4rmS4
Notre Dame Journal of Formal Logic, 1974
A generalisation of the concept of a relational model for modal logic1
Theoria a Swedish Journal of Philosophy, 2008
Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics
Studia Logica, 2012
Advances in Modal Logic, 2024
A General Algebraic Semantics for Sentential Logics
2017
Structural rules and resource control in logic and computation
2015
On embedding of classical substructural logics(Theory of Rewriting Systems and Its Applications)
数理解析研究所講究録, 1995
Structured lexical concepts, property modifiers, and Transparent Intensional Logic
Philosophical Studies, 2014
A Structuralist Account of Logic
2008
The Journal of Symbolic Logic, 1994
Relational semantics for full linear logic
Lorijn van Rooijen, Dion Coumans
Journal of Applied Logic, 2014
Towards a minimal logic for minimalist grammars: a transformational use of Lambek calculus
1999
A Hybridization of Irreflexive Modal Logics
Electronic Notes in Theoretical Computer Science, 2007
Syntax and Consequence Relations -- A Categorical Perspective
2021
Model theoretic semantics for many-purpose languages and language hierarchies
Proceedings of the 8th conference on Computational linguistics -, 1980
Modal Logic as Higher-Order Logic
MISCELLANEA LOGICA
Toward sheaf semantics for a multi-agent substructural modal logic
Proceedings of Socreal 2013 3rd International Workshop on Philosophy and Ethics of Social Reality 2013, 2013
Proof figures and structural operators for categorial grammar
Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics -, 1991