22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015)

A Linear Specification Language for Petri Nets

A formulation of linear logic based on dependency-relations

A linked open data architecture for the historical archives of the Getulio Vargas Foundation

article by Alexandre Rademaker et al published 19 March 2015 in International Journal on Digital Libraries

A term calculus for Intuitionistic Linear Logic

article

Bridges from Language to Logic: Concepts, Contexts and Ontologies

Building Models of Linear Logic

Categorical Models for Intuitionistic and Linear Type Theory

Categorical Models of Explicit Substitutions

Categorical Semantics of Linear Logic for All

article published in 2014

Categorical and Kripke Semantics for Constructive S4 Modal Logic

Constructive Description Logics Hybrid-Style

Context inducing nouns

Cut-Elimination for Full Intuitionistic Linear Logic

Designing testsuites for grammar-based systems in applications

Domains and Lambda-Calculi by R. M. Amadio and P-L. Curien, Springer Verlag, 1999, ISBN 0521587751

article

Elements of Categorical Logic: Fifty Years Later

scholarly article by Valeria de Paiva & Andrei Rodin published 31 July 2013 in Logica Universalis

Entailment, intensionality and text understanding

article

Explicit substitutitions for constructive necessity

Exploratory Information Extraction from a Historical Dictionary

Extending a Lexicon of Portuguese Nominalizations with Data from Corpora

article

Fibrational Modal Type Theory

article published in 2016

Full intuitionistic linear logic (extended abstract)11Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science held in Uppsala, Sweden, August 7-14, 1991

article

If, not when

Intuitionistic Description Logic and Legal Reasoning

Intuitionistic Modal Logic and Applications (IMLA 2008)

Intuitionistic hybrid logic

article published in 2006

Linear λ-calculus and categorical models revisited

Logic, Language, Information and Computation

Making Virtue of Necessity: A Verb Lexicon

Making ontologies work for resolving redundancies across documents

Multiple Conclusion Linear Logic: Cut Elimination and More

Natural Deduction and Context as (Constructive) Modality

Natural Number Objects in Dialectica Categories

On explicit substitutions and names (extended abstract)

OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning ⬇️

OpenWordnet-PT

Portuguese wordnet

Poset-valued sets or how to build models for linear logics

Preface

Preface

Relating Categorical Semantics for Intuitionistic Linear Logic

Sense-Specific Implicative Commitments

The ACQUILEX LKB: An Introduction

Types and Constraints in the LKB