Semantic Trees for Dummett's Logic LC. Corst, G. Studia Logica: An International Journal for Symbolic Logic, 45(2):199-206, Springer, 1986.
bibtex   
@article{10.2307/20015259,
		 _bla_ISSN = {00393215, 15728730},
		  author = {Giovanna Corst},
		   journal = {Studia Logica: An International Journal for Symbolic Logic},
		    number = {2},
			 pages = {199-206},
			  publisher = {Springer},
			   title = {Semantic Trees for {Dummett's} Logic {LC}},
			    volume = {45},
				 year = {1986}
}

Downloads: 0