scientific article; zbMATH DE number 7561490
From MaRDI portal
Publication:5091146
DOI10.4230/LIPIcs.TYPES.2018.5MaRDI QIDQ5091146
Publication date: 21 July 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation
- Towards paraconsistent engineering
- Formalization of the resolution calculus for first-order logic
- Embedding and automating conditional logics in classical higher-order logic
- Quantified multimodal logics in simple type theory
- Higher-Order Modal Logics: Automation and Applications
- Towards Self-verification of HOL Light
- Supra-logic: using transfinite type theory with type variables for paraconsistency
- Logics of Formal Inconsistency
- Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
- MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION
- Artificial Intelligence and Symbolic Computation
- Functional analysis
- Unnamed Item
This page was built for publication: