How to identify, translate and combine logics?

DOI10.1093/LOGCOM/EXU079zbMATH Open1444.03121OpenAlexW2312703313MaRDI QIDQ3133182FDOQ3133182

Florian Rabe

Publication date: 13 February 2018

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/ec44ceb5b2c5da6814a230f8af0ac5bc5c045b94

Recommendations

• A logical framework combining model and proof theory
• scientific article; zbMATH DE number 753781
• Equivalences between logics and their representing type theories
• scientific article; zbMATH DE number 2110615
• Towards logical frameworks in the heterogeneous tool set Hets

Mathematics Subject Classification ID

Combined logics (03B62) Logic in computer science (03B70) Categorical logic, topoi (03G30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited In (14)

• The future of logic: foundation-independence
• Lax Theory Morphisms
• Mathematical models as research data via flexiformal theory graphs
• Structure-preserving diagram operators
• Combining higher-order logic with set theory formalizations
• Morphism axioms
• Title not available (Why is that?)
• Logic-independent proof search in logical frameworks (short paper)
• A logical framework perspective on conservativity
• Formal Reasoning Using Distributed Assertions
• Generic Literals
• Making PVS accessible to generic services by interpretation in a universal format
• Structuring theories with implicit morphisms
• Higher-Order Tarski Grothendieck as a Foundation for Formal Proof.

Uses Software

• MMT

This page was built for publication: How to identify, translate and combine logics?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3133182)