Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts

DOI10.1080/11663081.2019.1703467zbMath1444.68288OpenAlexW2995007290MaRDI QIDQ5217250

Ariel Jonathan Roffé

Publication date: 24 February 2020

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2019.1703467

zbMATH Keywords

computer programformal metatheoryCartesian mechanicsmetatheoretical structuralismReconstructor

Mathematics Subject Classification ID

Many-valued logic (03B50) Axiomatics, foundations (70A05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Reconstructor

Uses Software

• Isabelle/HOL
• PLM

Cites Work

• Unnamed Item
• Unnamed Item
• A structural analysis of the phlogiston case
• An architectonic for science. The structuralist program
• Isabelle/HOL. A proof assistant for higher-order logic
• A comparison of the meaning and uses of models in mathematics and the empirical sciences
• Computability and Logic
• Foreword: Three-valued logics and their applications
• MECHANIZING PRINCIPIA LOGICO-METAPHYSICA IN FUNCTIONAL TYPE-THEORY
• The logical structure of mathematical physics

This page was built for publication: Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts