Agent-Based Logics in Dependent Type Theory

QR Code

Agent-Based Logics in Dependent Type Theory

This thesis is on the formalisation of mathematics in Martin-Löf type theory. This is a class of dependently-typed functional programming languages whose rules form a language suitable for the statement and proof of mathematical theorems. Programs in type theory can be mechanically checked to be wel...

Full description

Bibliographic Details
Main Author:	Baston, Colm
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2025
Subjects:	functional programming languages Martin-Löf type theory modal logic
Online Access:	https://eprints.nottingham.ac.uk/81134/

Similar Items

Normalisation by evaluation for dependent types
by: Altenkirch, Thorsten, et al.
Published: (2016)

Normalisation by evaluation for type theory, in type theory
by: Altenkirch, Thorsten, et al.
Published: (2017)

Type theory in type theory using quotient inductive types
by: Altenkirch, Thorsten, et al.
Published: (2016)

Learning of interval and general type-2 fuzzy logic systems using simulated annealing: theory and practice
by: Almaraashia, M., et al.
Published: (2016)

Rule-based and Resource-bounded: A New Look at Epistemic Logic
by: Jago, Mark
Published: (2006)

Types with extra structure: predicates, equations, composition
by: Hewer, Brandon
Published: (2024)

The bondage of the affections: willing, feeling, and desiring in Luther's theology, 1513-1525
by: Zahl, Simeon
Published: (2015)

Interval type-2 intuitionistic fuzzy logic systems - a comparative evaluation
by: Eyoh, Imo, et al.
Published: (2018)

Narrowing in on property-based testing
by: Fowler, Jonathan
Published: (2019)

A functional specification of effects
by: Swierstra, Wouter
Published: (2009)

Quotient types in type theory
by: Li, Nuo
Published: (2015)

Interval type-2 intuitionistic fuzzy logic systems: a comparative evaluation
by: Eyoh, Imo, et al.
Published: (2018)

A novel dual surface type-2 fuzzy logic controller for a micro robot
by: Birkin, Philip
Published: (2010)

Elliptic membership functions and the modeling uncertainty in type-2 fuzzy logic systems as applied to time series prediction
by: Kayacan, Erdal, et al.
Published: (2017)

Reka bentuk dan implementasi suatu penghurai Bahasa Melayu menggunakan sistem logik selari
by: Ramli, Suzaimah
Published: (2002)

Type theory in a type theory with quotient inductive types
by: Kaposi, Ambrus
Published: (2017)

A formal approach to modelling and verification of context-aware systems
by: Ul-Haque, Hafiz Mahfooz
Published: (2017)

Testing and debugging functional reactive programming
by: Perez, Ivan, et al.
Published: (2017)

Foucauldian transgression as a mode of resistance in selected novels by Martin Amis
by: Mohammed, Marwan Kadhim
Published: (2017)

The directive function of the English modals
by: Butler, Christopher
Published: (1982)

The place of syllogistic in logical theory
by: Clark, Michael
Published: (1980)

Notions of anonymous existence in Martin-Löf type theory
by: Kraus, Nicolai, et al.
Published: (2016)

Finite sample properties of the QMLE for the Log-ACD model: Application to Australian stocks
by: Allen, D., et al.
Published: (2008)

Performance measurement under increasing environmental uncertainty in the context of interval type-2 fuzzy logic based robotic sailing
by: Benatar, Naisan, et al.
Published: (2013)

Some constructions on ω-groupoids
by: Altenkirch, Thorsten, et al.
Published: (2014)

Interval type-2 A-intuitionistic fuzzy logic for regression problems
by: Eyoh, Imo, et al.
Published: (2017)

Type-2 fuzzy elliptic membership functions for modeling uncertainty
by: Kayacan, Erdal, et al.
Published: (2018)

Improving security requirements adequacy: an interval type 2 fuzzy logic security assessment system
by: Hibshi, Hanan, et al.
Published: (2016)

Extending homotopy type theory with strict equality
by: Altenkirch, Thorsten, et al.
Published: (2016)

Truncation levels in homotopy type theory
by: Kraus, Nicolai
Published: (2015)

Handling uncertainty: from type-1 to interval type-2 fuzzy sets and systems
by: Aladi, Jabran
Published: (2016)

An effective fuzzy C-mean and type-2 fuzzy logic for weather forecasting.
by: Shahi, Ahmad, et al.
Published: (2009)

Higher inductive types, inductive families, and inductive-inductive types
by: von Raumer, Jakob
Published: (2020)

The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)

The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)

Distributive laws in programming structures
by: Rypacek, Ondrej
Published: (2010)

Hybrid learning for interval type-2 intuitionistic fuzzy logic systems as applied to identification and prediction problems
by: Eyoh, Imo, et al.
Published: (2018)

Towards a cubical type theory without an interval
by: Altenkirch, Thorsten, et al.
Published: (2017)

Anti-capitalist satirical attitude in novels by Sonallah Ibrahim and Martin Amis
by: Alkodimi, Khaled Abkar
Published: (2011)

Ray watching: the highly protected, British prison experience of Martin Luther King’s killer
by: Ling, Peter
Published: (2017)