scientific article; zbMATH DE number 1064418

MaRDI QIDQ4355889zbMATH OpenFDO

Authors David Bostock

Publication date 22 September 1997

zbMATH Keywords

elementary classical first-order logicproof systemstextbook

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Classical first-order logic (03B10)

Recommendations

• scientific article; zbMATH DE number 193061
• Introduction to logic
• scientific article; zbMATH DE number 47925
• scientific article; zbMATH DE number 790187

Cited in

(19)

• A binary quantifier for definite descriptions for cut free free logics
• Tableaux for free logics with descriptions
• Proof-theory and semantics for a theory of definite descriptions
• Impossible worlds and logical omniscience: an impossibility result
• Incomplete symbols -- definite descriptions revisited
• A brief history of negation
• On ground and consequence
• Dynamic Epistemic Logic and Logical Omniscience
• Doxastic logic: a new approach
• Free Definite Description Theory – Sequent Calculi and Cut Elimination
• Definite descriptions in intuitionist positive free logic
• A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation
• Why conclusions should remain single
• Are currency devaluations effective? A panel unit root test
• Confronting ideals of proof with the ways of proving of the research mathematician
• When Iota meets lambda
• Unital algebras being Morita equivalent to weighted Leavitt path algebras
• Quantified temporal alethic boulesic doxastic logic
• Variable declarations in natural deduction

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 Q4355889)