The future of logic: foundation-independence
From MaRDI portal
Publication:263104
DOI10.1007/s11787-015-0132-xzbMath1436.03179OpenAlexW2300316091MaRDI QIDQ263104
Publication date: 4 April 2016
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-015-0132-x
presentationmodel theoryproof theorysearchknowledge managementuser interfacetheoryparsingsyntaxlogical declarationsMMTtheory morphismtype reconstruction
Related Items (2)
Isabelle/HOL/GST: a formal proof environment for generalized set theories ⋮ A semantic framework for proof evidence
Uses Software
Cites Work
- Unnamed Item
- A scalable module system
- Representing model theory in a type-theoretical logical framework
- Combinatory logic. With two sections by William Craig.
- Isabelle. A generic theorem prover
- Isabelle/HOL. A proof assistant for higher-order logic
- The Mizar Mathematical Library in OMDoc: translation and applications
- Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 -- April 1, 2007. Proceedings.
- Institution-independent model theory
- The MMT API: A Generic MKM System
- Formalising foundations of mathematics
- How to identify, translate and combine logics?
- Generic Literals
- Crafting a Proof Assistant
- Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo
- A framework for defining logics
- Institutions: abstract model theory for specification and programming
- Project Abstract: Logic Atlas and Integrator (LATIN)
- Lax Theory Morphisms
- A Search Engine for Mathematical Formulae
- Towards Knowledge Management for HOL Light
- System Description: MathHub.info
This page was built for publication: The future of logic: foundation-independence
