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 - Lane University - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2013-01-17 15:03:23 Open Document File Size: 198,00 KB Share Result on Facebook Company Meredith / / Currency pence / / / Facility University of Wollongong / / IndustryTerm unification algorithm / / Organization Department of Mathematics / University of Wollongong / / Person MARTIN W. BUNDER / NORMAN D. MEGILL / / / Position Prime Minister / / Technology unification algorithm / / SocialTag 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: MarAdd to Reading List