1 results
An Axiomatization of Quantified Propositional Gödel Logic Using the Takeuti-Titani Rule
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 91-104
-
- Chapter
- Export citation