A Propositional Calculus with Denumerable Matrix

@article{Dummett1959APC,
  title={A Propositional Calculus with Denumerable Matrix},
  author={M. Dummett},
  journal={J. Symb. Log.},
  year={1959},
  volume={24},
  pages={97-106}
}
  • M. Dummett
  • Published 1959
  • Mathematics, Computer Science
  • J. Symb. Log.
378 Citations

Topics from this paper

Chapter VII: Gödel-Dummett Logics
  • Highly Influenced
  • PDF
On Intermediate Justification Logics.
  • Highly Influenced
The First Epsilon Theorem in Pure Intuitionistic and Intermediate Logics
  • Highly Influenced
  • PDF
ANewHybridMethod for VoIP Stream Steganography
  • 1
  • Highly Influenced
  • PDF
Hyper Natural Deduction for Gödel Logic - A natural deduction system for parallel reasoning
  • 1
  • Highly Influenced
  • PDF
Rexpansions of Non-deterministic Matrices and Their Applications in Non-classical Logics
  • 3
  • Highly Influenced
  • PDF
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
  • 5
  • Highly Influenced
Functional and Logic Programming
  • 96
  • Highly Influenced
  • PDF
Gödel-Dummett Predicate Logics and Axioms of Prenexability
  • Highly Influenced
  • PDF
Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta
  • M. Baaz, N. Preining, R. Zach
  • Mathematics, Computer Science
  • 36th International Symposium on Multiple-Valued Logic (ISMVL'06)
  • 2006
  • 5
  • Highly Influenced
  • PDF
...
1
2
3
4
5
...

References

Propositional calculus and realizability
  • 86
  • PDF