P185
22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015)Fibrational Modal Type TheoryMaking Virtue of Necessity: A Verb LexiconMultiple Conclusion Linear Logic: Cut Elimination and MoreA linked open data architecture for the historical archives of the Getulio Vargas FoundationExploratory Information Extraction from a Historical DictionaryNatural Number Objects in Dialectica CategoriesIf, not whenPrefaceCategorical Semantics of Linear Logic for AllExtending a Lexicon of Portuguese Nominalizations with Data from CorporaSense-Specific Implicative CommitmentsElements of Categorical Logic: Fifty Years LaterIntuitionistic Description Logic and Legal ReasoningConstructive Description Logics Hybrid-StyleBridges from Language to Logic: Concepts, Contexts and OntologiesIntuitionistic Modal Logic and Applications (IMLA 2008)Logic, Language, Information and ComputationContext inducing nounsDesigning testsuites for grammar-based systems in applicationsPrefaceIntuitionistic hybrid logicRelating Categorical Semantics for Intuitionistic Linear LogicPoset-valued sets or how to build models for linear logicsEntailment, intensionality and text understandingNatural Deduction and Context as (Constructive) ModalityMaking ontologies work for resolving redundancies across documentsDomains and Lambda-Calculi by R. M. Amadio and P-L. Curien, Springer Verlag, 1999, ISBN 0521587751Categorical and Kripke Semantics for Constructive S4 Modal LogicCategorical Models for Intuitionistic and Linear Type TheoryCategorical Models of Explicit SubstitutionsA formulation of linear logic based on dependency-relationsBuilding Models of Linear LogicExplicit substitutitions for constructive necessityCut-Elimination for Full Intuitionistic Linear LogicFull 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, 1991A term calculus for Intuitionistic Linear LogicA Linear Specification Language for Petri NetsThe ACQUILEX LKB: An IntroductionTypes and Constraints in the LKB
P50
P802
Q56675592-805717E6-D516-4C35-8CE3-F4C222AB691BQ56994433-85EC75C1-CA00-429B-B76C-5783D7AA51C2Q56994437-3445A848-E225-477C-A4B1-70373B14B61EQ56994440-F6720C5B-5228-495B-8110-4DB8554213C6Q56994443-70FC7E71-C728-49EC-8F3B-013383A402A7Q56994447-B594C393-305A-4BD2-92F1-95E72317B8D2Q56994452-88DE830A-75EC-471A-9E2E-7238A50911EFQ56994456-49016048-A39B-4B1E-B0B1-D7AFDF253DABQ56994460-A8C5D6D7-3E96-4821-AA68-4419C5695302Q56994467-0913DC6A-A880-483C-94E1-643283AE0A90Q56994475-A1CF9BE1-F13F-45A4-88ED-2334A93013C8Q56994489-0AAEB1FC-A7DD-4709-8F18-4D6666F71403Q56994495-3CB79713-BB0C-4EEE-898F-C848054B796CQ56994499-AD1EB385-C852-4835-A416-31A9705B00FBQ56994502-DD6F1B44-924C-479F-9E84-9A82751A8EB6Q56994507-1AC080AD-0AE1-478E-B046-F1456E31C22AQ56994509-9FABC8CA-0A51-4988-9F02-BFA0B4FC6383Q56994519-2E081BE1-6E95-45F9-B69C-CA3DF69A5919Q56994522-C6140D2B-D46B-422F-8A5A-DBBEC94ED419Q56994527-38BC5F07-5F56-4AD2-9FE6-5C8E553A477EQ56994533-D795B2B0-5039-4CC5-9ACB-2F731255DBD1Q56994536-31D65BBB-04C0-4F7C-82E4-93C64C6A185EQ56994542-A6A72B22-8178-4888-A3ED-DD9950B21CB3Q56994546-619ACF38-BF9D-404A-94A8-4B16A0E867C5Q56994550-5D6C63F3-BE79-458F-BACD-1F865AE54956Q56994553-D1C26476-4A8A-4213-B261-30EA58506E58Q56994556-80153C3D-7720-4CB4-9656-0A035CFF5593Q56994559-C48FBC0E-932D-44AB-A1BE-01C4305CECDCQ56994563-5C346267-7DE1-4668-BF80-AD167BC1964DQ56994570-98B227AB-B573-409F-9D1D-CF18BADD979EQ56994572-A54DE590-DEBB-4ED9-A008-5568D8AE6A6DQ56994574-F740AD64-EBEF-4608-ACD9-DB99AD5DCF1EQ56994583-A651997C-2177-4052-8275-EB618A59EDB8Q56994589-573F1157-2BDE-446A-9022-57016717A149Q56994599-FA1729C5-0A39-4537-98A7-8DE595FB4179Q56994605-79E39583-5580-4D4F-9FB3-5CD6AFB4B622Q56994611-F6DABC8A-C1FC-404F-A5F7-E66D9A5A89DCQ56994619-763EDF7E-EEB1-46EB-BCB4-57D8116062F1Q56994630-6AA9085A-4EAF-4D56-8AD0-397A7772105FQ56994634-8EFFAB54-555A-4393-BA21-19233FA077B3
P50
description
Brazilian mathematician, logician, and computer scientist
@en
mathématicienne brésilienne
@fr
wiskundige uit Brazilië
@nl
name
Valeria de Paiva
@ast
Valeria de Paiva
@cy
Valeria de Paiva
@en
Valeria de Paiva
@es
Valeria de Paiva
@fr
Valeria de Paiva
@ga
Valeria de Paiva
@nl
Valeria de Paiva
@pt
Valeria de Paiva
@pt-br
Valeria de Paiva
@sl
type
label
Valeria de Paiva
@ast
Valeria de Paiva
@cy
Valeria de Paiva
@en
Valeria de Paiva
@es
Valeria de Paiva
@fr
Valeria de Paiva
@ga
Valeria de Paiva
@nl
Valeria de Paiva
@pt
Valeria de Paiva
@pt-br
Valeria de Paiva
@sl
altLabel
Valeria Correa Vaz de Paiva
@en
prefLabel
Valeria de Paiva
@ast
Valeria de Paiva
@cy
Valeria de Paiva
@en
Valeria de Paiva
@es
Valeria de Paiva
@fr
Valeria de Paiva
@ga
Valeria de Paiva
@nl
Valeria de Paiva
@pt
Valeria de Paiva
@pt-br
Valeria de Paiva
@sl
P101
P106
P108
P214
P244
P268
P269
P101
P1066
P1153
6603620349
P1556
de-paiva.valeria
P1559
Valeria Correa Vaz de Paiva
@pt