Formalizing falsification: Three delete operations

DOI10.1002/MALQ.19900360510MaRDI QIDQ5753921zbMATH OpenOpenAlexFDO

Authors Rüdiger Schätz

Publication date 1990

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

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

zbMATH Keywords

delete operationfalsificationindependencesemantic implication

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Classical first-order logic (03B10) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 4176438
• scientific article; zbMATH DE number 2236612
• On the Logic of Theory Change: Partial Meet Contraction and Revision Functions
• On the logic of theory change: Partial meet contraction and revision functions
• MINIMAL LOGIC IS ADEQUATE FOR POPPERIAN SCIENCE

Cited in

(3)

• scientific article; zbMATH DE number 4176438 (Why is no real title available?)
• MINIMAL LOGIC IS ADEQUATE FOR POPPERIAN SCIENCE
• Verificaton, falsification, and cancellation in KT

This page was built for publication: Formalizing falsification: Three delete operations

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