scientific article; zbMATH DE number 1064418
From MaRDI portal
Publication:4355889
zbMATH Open0913.03001MaRDI QIDQ4355889FDOQ4355889
Authors: David Bostock 
Publication date: 22 September 1997
Title of this publication is not available (Why is that?)
Recommendations
Classical propositional logic (03B05) Classical first-order logic (03B10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Cited In (17)
- Incomplete symbols -- definite descriptions revisited
- Quantified temporal alethic boulesic doxastic logic
- A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation
- Definite descriptions in intuitionist positive free logic
- Why conclusions should remain single
- A binary quantifier for definite descriptions for cut free free logics
- Doxastic logic: a new approach
- Variable declarations in natural deduction
- Proof-theory and semantics for a theory of definite descriptions
- Tableaux for free logics with descriptions
- A brief history of negation
- Dynamic Epistemic Logic and Logical Omniscience
- Impossible worlds and logical omniscience: an impossibility result
- Free Definite Description Theory – Sequent Calculi and Cut Elimination
- Are currency devaluations effective? A panel unit root test
- On ground and consequence
- Confronting ideals of proof with the ways of proving of the research mathematician
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)
