English is a HOL language message 1X (original) (raw)
Related papers
First order languages: Further syntax and semantics
2011
A Note On Higher Order Grammar
2012
Syntax and Consequence Relations -- A Categorical Perspective
2021
On the grammar of first-order logic
Some uses of higher-order logic in computational linguistics
Proceedings of the 24th annual meeting on Association for Computational Linguistics -, 1986
Logical structure and natural syntax
1984
From Meaning to Form: an Alternative Model of Functional Syntax
Russian Language Journal, 2007
Logical Formalizations of Syntactical Properties
Automation of Higher-Order Logic
Computational Logic, 2014
On bracketing names and quantifiers in first-order logic
History and Philosophy of Logic, 1999
2005
Logical Formalizations of Syntactical Properties (Extended Abstract)
1997
On the Semantics of Higher-order Logic
A semi-functional implementation of a higher-order logic programming language
Topics in Advanced Language Implementation, 1990
Logic Programming with Functions and Predicates: The Language BABEL
The Journal of Logic and Algebraic Programming, 1992
Higher-Order Operator Precedence Languages
Electronic Proceedings in Theoretical Computer Science
HOL-λσ: an intentional first-order expression of higher-order logic
Gilles Dowek, Thérèse Hardin
Mathematical Structures in Computer Science, 2001
The compilation of functional language into intensional logic
1983
The effect of operators on parsing and evaluation in APL
Computer Languages, 1981
THE HISTORICAL PERSPECTIVE OF THE LOGICAL SYNTAX
Ярослав Гнатюк / Yaroslav Hnatiuk
INTERNATIONAL SCIENTIFIC CONFERENCE THE DAYS OF SCIENCE OF THE FACULTY OF PHILOSOPHY TARAS SHEVCHENKO NATIONAL UERSITY OF KYIV, 2021
Hybrid: A definitional two-level approach to reasoning with higher-order abstract syntax
Arxiv preprint arXiv:0811.4367, 2008
Translating Higher-Order Clauses to First-Order Clauses
Logical relationships in English syntax
1975
Carnap's Logical Syntax of Language from a formal point of view
Rudolf Carnap Handbuch, 2024
Sigplan Notices, 1988
Formal semantics and the logical structure of programming languages
1990
Logical Consequence: Between Formal and Natural Language (Dissertation)
2013
Formal syntax methods for natural language
Information Processing Letters, 1984
Syntax: Structure, meaning and function
Randy J. LaPolla 羅仁地, Robert Van Valin
1997
Propositional, first-order, and higher-order logics (Appendix A)