Pages that link to "Item:Q195246"
From MaRDI portal
The following pages link to Journal of Logic, Language and Information (Q195246):
Displaying 50 items.
- Adjectival and adverbial modification: the view from modern type theories (Q683682) (← links)
- Associative grammar combination operators for tree-based grammars (Q735406) (← links)
- On definability in dependence logic (Q735407) (← links)
- Adaptive fuzzy logics for contextual hedge interpretation (Q735409) (← links)
- Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency (Q735410) (← links)
- A new theory of quantifiers and term connectives (Q735412) (← links)
- On relation between linear temporal logic and quantum finite automata (Q783667) (← links)
- Truth diagrams versus extant notations for propositional logic (Q783668) (← links)
- A revised projectivity calculus for inclusion and exclusion reasoning (Q783670) (← links)
- Confused terms in ordinary language (Q783673) (← links)
- Formal semantics and applied mathematics: an inferential account (Q783675) (← links)
- Residual contraction (Q783677) (← links)
- Cut and pay (Q851192) (← links)
- A note on the expressive power of probabilistic context free grammars (Q851193) (← links)
- A modal interpretation of the logic of interrogation (Q851195) (← links)
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic (Q851196) (← links)
- A descriptive characterisation of linear languages (Q851197) (← links)
- A `natural logic' inference system using the Lambek calculus (Q851198) (← links)
- Combining probability and logic. Proceedings of the 2nd workshop, Progic 2005, London, UK, July 6--8, 2005 (Q852425) (← links)
- Bayesian model learning based on predictive entropy (Q853783) (← links)
- On nonparametric predictive inference and objective Bayesianism (Q853784) (← links)
- Rational acceptance and conjunctive/disjunctive absorption (Q853785) (← links)
- Adams conditionals and non-monotonic probabilities (Q853786) (← links)
- Means-end relations and a measure of efficacy (Q853789) (← links)
- Quantum physical symbol systems (Q853791) (← links)
- Combining argumentation and Bayesian nets for breast cancer prognosis (Q853792) (← links)
- Second-order abstract categorial grammars as hyperedge replacement grammars (Q972434) (← links)
- On the membership problem for non-linear abstract categorial grammars (Q972435) (← links)
- A faithful representation of non-associative Lambek grammars in abstract categorial grammars (Q972436) (← links)
- Types as graphs: Continuations in type logical grammar (Q1006443) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- Knowledge condition games (Q1006447) (← links)
- Hyper-contradictions, generalized truth values and logics of truth and falsehood (Q1006448) (← links)
- Symmetric and contrapositional quantifiers (Q1006450) (← links)
- Focus interpretation in thetic statements: Alternative semantics and optimality theory pragmatics (Q1006451) (← links)
- Linear temporal logic as an executable semantics for planning languages (Q1006453) (← links)
- A proof-theoretic study of the correspondence of hybrid logic and classical logic (Q1006454) (← links)
- Reference and perspective in intuitionistic logics (Q1006455) (← links)
- Modeling generalized implicatures using non-monotonic logics (Q1006457) (← links)
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- Abstract models for dialogue protocols (Q1006459) (← links)
- Toward discourse representation via pregroup grammars (Q1006460) (← links)
- The density of truth in monadic fragments of some intermediate logics (Q1006461) (← links)
- Anti-dynamics: Presupposition projection without dynamic semantics (Q1006462) (← links)
- From word to sentence: a pregroup analysis of the object pronoun \textit{who(m)} (Q1006463) (← links)
- Scope control and grammatical dependencies (Q1006465) (← links)
- Game theory and discourse anaphora (Q1006468) (← links)
- The German Vorfeld and local coherence (Q1006470) (← links)
- Generating coherence relations via internal argumentation (Q1006472) (← links)
- Meaning and dialogue coherence: A proof-theoretic investigation (Q1006473) (← links)
