Parallel Theories and Routine Revision in First-Order Logic

DOI10.1002/MALQ.19870330510zbMATH Open0635.03005OpenAlexW2078042275MaRDI QIDQ3773842

Gerold Stahl

Publication date: 1987

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19870330510

zbMATH Keywords

inconsistent theoriesaddition and elimination of premisesmethodology of scientific discoveryprocess of scientific investigationrevision of sets of premises

Mathematics Subject Classification ID

Classical first-order logic (03B10)

This page was built for publication: Parallel Theories and Routine Revision in First-Order Logic

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