scientific article; zbMATH DE number 6799053

zbMATH Open1373.03001MaRDI QIDQ4588560FDOQ4588560

John Etchemendy, Dave Barker-Plummer, Jon Barwise

Publication date: 27 October 2017

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Theory of programming languages (68N15) Classical first-order logic (03B10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Cited In (5)

• Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
• Reasoning with sentences and diagrams
• Title not available (Why is that?)
• Hybrid reasoning using universal attachment
• Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams

Uses Software

• Hyperproof

This page was built for publication:

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