Philosophical Dimensions of Logic and Science (Synthese Library)
Contributors: Artur Rojszczak (Editor); Jacek Cachro (Editor); Gabriel Kurczewski (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 31, 2003
Language: eng
Format: Hardcover
Number of pages: 406
ISBN-13: 9781402016455
Subjects: Logic; Logic, Symbolic and mathematical; Congresses; Science; Philosophy; Philosophy & Social Aspects; Methodology; Artificial Intelligence - General; Philosophy / Logic; Logic, Symbolic and mathematic
First sentence: Let FLew be the logic obtained from the intuitionist propositional logic by deleting contraction rule if we formulate it in a sequent system.