Search Results

Inconsistency Robustness in Foundations ; Inconsistency Robustness in Foundations: Mathematics self proves its own formal consistency and other matters

• Authors :

Subjects: Mathematical foundations of Computer Science

• Source: Inconsistency Robustness ; https://hal.archives-ouvertes.fr/hal-01148293 ; Carl Hewitt, John Woods. Inconsistency Robustness, 52, College Publications, 2015, Studies in logic, 978-1-84890-159-9 ;

Record details

Homotopy Type Theory: Univalent Foundations of Mathematics

• Authors :

Subjects: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics

• 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.

Record details

Constructive theory of ordinals

• Authors :

Subjects: MSC 03E10 (03F15)

• Source: Mathematics for Computation - M4C ; https://hal.science/hal-03522215 ; Marco Benini; Olaf Beyersdorff; Michael Rathjen; Peter Schuster.

Record details

SUPER SCIENCE: Intuitions of the Future's Super-science, Vastly Different from Today's Knowledge and Enriched with Hard Science-Fiction

• Authors : Rodney Bartlett

Subjects: physics

Record details

Computable Measure Theory and Algorithmic Randomness

• Authors :

Subjects: ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.2: Computability theory

• Source: Handbook of Computable Analysis ; https://hal.inria.fr/hal-02938919 ; Handbook of Computable Analysis, In press

Record details

Epistemic Reasoning About Rationality and Bids in Auctions

• Authors :

Subjects: Logics for multi-agent systems

• 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

Record details

Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic

• Authors :

Subjects: Incomplete 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

Record details

Computable Measure Theory and Algorithmic Randomness

• Authors :

Subjects: ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.2: Computability theory

• Source: Handbook of Computable Analysis ; https://inria.hal.science/hal-02938919 ; Handbook of Computable Analysis, pp.227-270, 2021, 978-3-030-59234-9. ⟨10.1007/978-3-030-59234-9_7⟩

Record details

The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq

• Authors :

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

• Source: Proof and Computation II ; https://inria.hal.science/hal-03338785 ; Proof and Computation II, WORLD SCIENTIFIC, pp.305-386, 2021, ⟨10.1142/9789811236488_0008⟩

Record details

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

• Authors :

Subjects: Inhabitation problem

• 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

Record details