Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Collection : Universite Toulouse 2 - Jean Jaures Language : albanian Language : english Language : slovak Language : waray Language : welsh Format : Books Subject : [math.math-lo]mathematics [math]/logic [math.lo]

Item request has been placed!

Item request cannot be made.

Processing Request

Book

Homotopy Type Theory: Univalent Foundations of Mathematics

Authors : Aczel, Peter; Ahrens, Benedikt; Altenkirch, Thorsten ...

Subjects: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Source: https://inria.hal.science/hal-00935057 ; The Univalent Foundations Program Institute for Advanced Study, pp.1--587, 2013 ; https://hott.github.io/book/hott-ebook-7-g6913a1a.pdf.

Read More Add to Saved list

Book

Epistemic Reasoning About Rationality and Bids in Auctions

Authors : Mittelmann, Munyque; Herzig, Andreas; Perrussel, Laurent ...

Subjects: Logics for multi-agent systems; Game description language; Bounded rationality

Source: Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings ; https://hal.science/hal-03573581 ; Logics in Artificial Intelligence: 17th

Read More Add to Saved list

Book

Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic

Authors : Herzig, Andreas; Yuste-Ginel, Antonio;

Subjects: Incomplete argumentation frameworks; Dynamic logic of propositional assignments; Control argumentation frameworks

Source: Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings ; https://hal.science/hal-03573580 ; Logic and Argumentation: 4th International

Read More Add to Saved list

Book

Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic

Authors : Espírito Santo, José; Matthes, Ralph; Pinto, Luís ...

Subjects: Inhabitation problem; Coinduction; Lambda-calculus

Source: LIPIcs : 26th International Conference on Types for Proofs and Programs (TYPES 2020) ; https://hal.science/hal-03255968 ; Ugo de'Liguoro; Stefano Berardi; Thorsten Altenkirch. LIPIcs : 26th

Read More Add to Saved list

Book

Heterogeneous Substitution Systems Revisited

Authors : Ahrens, Benedikt; Matthes, Ralph;

Subjects: nested datatypes; formalization of category theory; Mendler-style recursion schemes

Source: 21st International Conference on Types for Proofs and Programs (TYPES 2015)https://hal.science/hal-02360681Tarmo Uustalu. 21st International Conference on Types for Proofs and Programs

Read More Add to Saved list

Book

Learning Lambek grammars from proof frames

Authors : Bonato, Roberto; Retoré, Christian;

Subjects: [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]; [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Source: Categories and types in logic, language and physics -- Festschrift on the occasion of Jim Lambek's 90th birthday ; https://hal.science/hal-00923897 ; Claudia Casadio; Bob Coecke; M. Moortgat; Ph.

Read More Add to Saved list

Book

Semantics of Time, Space, Movement and spatio-temporal reasoning ; Semantics of Time, Space, Movement and spatio-temporal reasoning: Working Papers of the 4th International Workshop

Authors : Aurnague, Michel; Borillo, Andrée; Borillo, Mario ...

Subjects: semantics; language; timeBonas; France

Source: https://hal.science/hal-01334326 ; LRC, 1993.

Read More Add to Saved list