How to identify, translate and combine logics?
From MaRDI portal
Publication:3133182
DOI10.1093/LOGCOM/EXU079zbMATH Open1444.03121OpenAlexW2312703313MaRDI QIDQ3133182
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
Logic in computer science (03B70) Categorical logic, topoi (03G30) Combined logics (03B62) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (14)
Lax Theory Morphisms ⋮ Mathematical models as research data via flexiformal theory graphs ⋮ Generic Literals ⋮ Morphism axioms ⋮ Structuring theories with implicit morphisms ⋮ Making PVS accessible to generic services by interpretation in a universal format ⋮ Combining higher-order logic with set theory formalizations ⋮ Unnamed Item ⋮ Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. ⋮ Structure-preserving diagram operators ⋮ Formal Reasoning Using Distributed Assertions ⋮ A logical framework perspective on conservativity ⋮ Logic-independent proof search in logical frameworks (short paper) ⋮ The future of logic: foundation-independence
Uses Software
This page was built for publication: How to identify, translate and combine logics?
