Log In
Or create an account ->
Imperial Library
Home
About
News
Upload
Forum
Help
Login/SignUp
Index
Cover
Frontmatter
1. Language and Logic
An Algorithm Defining the Choice of ‘Active~Passive’ Formal Paradigms in Georgian
Towards Verb Modification in Frames
Whence Long-Distance Indefinite Readings? Solving Chierchia’s Puzzle with Dependent Types
First-Order Abduction as Enumeration of Stable Models
A Semantic Account of the Intervention Effects in Chinese Why-Questions
Syntax Annotation of the Georgian Literary Corpus
Frame Theory with First-Order Comparators: Modeling the Lexical Meaning of Punctual Verbs of Change with Frames
Semantic Predictions in Natural Language Processing, Default Reasoning and Belief Revision
A Probabilistic, Mereological Account of the Mass/Count Distinction
Semantic Dependency Graphs
Reflexive and Reciprocal Determiners
2. Logic and Computation
The Topology of Full and Weak Belief
Universal Models for the Positive Fragment of Intuitionistic Logic
On Gödel Algebras of Concepts
A Representation Theorem for Stratified Complete Lattices
Equilibrium Semantics for IF Logic and Many-Valued Connectives
Quasi-Realization
Subintuitionistic Logics with Kripke Semantics
Erratum to: Equilibrium Semantics for IF Logic and Many-Valued Connectives
Backmatter
← Prev
Back
Next →
← Prev
Back
Next →