Weaker D-Complete Logics NORMAN D. MEGILL, 19 Locke Lane, Lexington, MA 02173, USA. E-mail: [removed] MARTIN W. BUNDER, Department of Mathematics, University of Wollongong, Wollongong NSW 2500, Australia. E-mail: Mar

First Page		Document Content
Date: 2013-01-17 15:03:23 Condensed detachment Modal logic Propositional calculus Model theory Logic Mathematical logic Mathematics		Weaker D-Complete Logics NORMAN D. MEGILL, 19 Locke Lane, Lexington, MA 02173, USA. E-mail: [removed] MARTIN W. BUNDER, Department of Mathematics, University of Wollongong, Wollongong NSW 2500, Australia. E-mail: Mar Add to Reading List Source URL: us.metamath.org Download Document from Source Website File Size: 198,00 KB Share Document on Facebook